@article{4909, title = "Language Equivalence for Probabilistic Automata", author = "Stefan Kiefer, Andrzej S. Murawski, Joel Ouaknine, Björn Wachter, James Worrell", year = "2011", booktitle = "CAV", url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/cav11.pdf", }