Deciding Probabilistic Automata Weak Bisimulation in Polynomial in (2012)

by H Hermanns, A Turrini
Venue:Radhakrishnan (Eds.), IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS