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:
CONCUR (2019)
Keyphrases
</>
probabilistic automata
finite automata
markov chain
finite state automata
bayesian networks
probabilistic model
relative entropy
distance measure
distance function
generative model
information theoretic
database systems
sound theoretical