Deciding probabilistic bisimilarity distance one for probabilistic automata.

Qiyi Tang Franck van Breugel

Published in: J. Comput. Syst. Sci. (2020)

Keyphrases

probabilistic automata
finite automata
markov chain
relative entropy
finite state automata
bayesian networks
probabilistic model
distance measure
generative model
distance function
sound theoretical
information theoretic
data points
nearest neighbor