When Equivalence and Bisimulation Join Forces in Probabilistic Automata.

Yuan Feng Lijun Zhang

Published in: FM (2014)

Keyphrases

probabilistic automata
equivalence relation
finite automata
markov chain
relative entropy
finite state automata
sound theoretical
bayesian networks
query processing
log likelihood
grammatical inference
metadata
pairwise