Details for the publication TurriniH15.

Andrea Turrini, Holger Hermanns (): Polynomial time decision algorithms for probabilistic automata. In Inf. Comput. 244:134-171, 2015. DOI BIB