_id,doi,title
5392,10.15479/AT:IST-2009-0004,Probabilistic automata on infinite words: Decidability and undecidability results