Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata.

Qiyi Tang Franck van Breugel

Published in: CONCUR (2018)

Keyphrases

probabilistic automata
finite automata
relative entropy
distance measure
bayesian networks
generative model
markov chain
euclidean distance
information theoretic
sound theoretical
probabilistic model
distance function
posterior probability
finite state automata
kl divergence