Robuta

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.435 Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time probabilistic automata polynomial time deciding weak bisimulation https://irinsubria.uninsubria.it/handle/11383/6238 Probabilistic Bisimulation as a Congruence probabilistic bisimulation congruence