Bisimulations Meet PCTL Equivalences for Probabilistic Automata

Lei Song Lijun Zhang Jens Chr. Godskesen

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

probabilistic automata
finite automata
relative entropy
markov chain
finite state automata
sound theoretical
covariance matrix
objective function
bayesian networks
probability distribution