Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata.

Yuan Feng Lei Song Lijun Zhang

Published in: CoRR (2015)

Keyphrases

probabilistic automata
finite automata
markov chain
maximum likelihood
relative entropy
pairwise
gaussian distribution
sound theoretical