When Equivalence and Bisimulation Join Forces in Probabilistic Automata.

Yuan Feng Lijun Zhang

Published in: CoRR (2013)

Keyphrases

probabilistic automata
equivalence relation
finite automata
relative entropy
markov chain
finite state automata
sound theoretical
regular expressions
metadata
query processing
hidden markov models
log likelihood