2 search results - page 1 / 1 » LP Distance and Equivalence of Probabilistic Automata |
IJFCS
2007
13 years 7 months ago
2007
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...