_id,doi,title
5384,10.15479/AT:IST-2011-0004,Decidable problems for probabilistic automata on infinite words