Login / Signup
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
Giorgio Bacci
Giovanni Bacci
Kim G. Larsen
Radu Mardare
Qiyi Tang
Franck van Breugel
Published in:
Log. Methods Comput. Sci. (2021)
Keyphrases
</>
probabilistic automata
finite automata
markov chain
relative entropy
bayesian networks
probabilistic model
distance function
euclidean distance
generative model
sound theoretical
distance measure
finite state automata
search space
multi class
dissimilarity measure