_id,doi,title 3857,10.1007/978-3-642-15643-4_1,Probabilistic Automata on infinite words: decidability and undecidability results