@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}
}