1. On decision problems for Probabilistic Büchi Automata;Baier,2008
2. Recognizing omega-regular Languages with Probabilistic Automata;Baier,2005
3. Some recursive unsolvable problems relating to isolated cutpoints in probabilistic automata;Bertoni,1977
4. Power of randomization in automata on infinite strings;Chadha,2009
5. K. Chatterjee, T.A. Henzinger, Finitary winning in omega-regular games. in: Proceedings of TACAS, Lecture Notes in Computer Science, vol. 3920, pp. 257–271.