Publication [TurriniH15] Polynomial Time Decision Algorithms for Probabilistic Automata Turrini, A. and Hermanns, H. In Information and Computation, 244: 134-171, 2015. doi.. Downloads: bib
