Bisimulations Meet PCTL Equivalences for Probabilistic Automata.

Lei Song Lijun Zhang Jens Chr. Godskesen

Published in: CONCUR (2011)

Keyphrases

probabilistic automata
finite automata
markov chain
relative entropy
finite state automata
sound theoretical
matching algorithm