Language Equivalence for Probabilistic Automata.

Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell

Browse the full CAV paper archive.