Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, Björn Wachter, James Worrell. On the Complexity of the Equivalence Problem for Probabilistic Automata. In Lars Birkedal, editor, Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Volume 7213 of Lecture Notes in Computer Science, pages 467-481, Springer, 2012. [doi]
No reviews for this publication, yet.