_id,doi,title
2957,10.1109/LICS.2012.29,Decidable problems for probabilistic automata on infinite words