Bell, P. C., Halava, V., & Hirvensalo, M. (2013). Decision Problems for Probabilistic Finite Automata on Bounded Languages. Fundamenta Informaticae, 123(1), 1-14. https://doi.org/10.3233/fi-2013-797