@article {347, title = {Polynomial time decision algorithms for probabilistic automata}, journal = {Inf. Comput.}, volume = {244}, year = {2015}, pages = {134{\textendash}171}, doi = {10.1016/j.ic.2015.07.004}, url = {http://dx.doi.org/10.1016/j.ic.2015.07.004}, author = {Andrea Turrini and Holger Hermanns} }