When Equivalence and Bisimulation Join Forces in Probabilistic Automata.

Yuan Feng, Lijun Zhang

Browse the full FM paper archive.