DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-15643-4_1,3857,"KrCh,ToHe",Probabilistic Automata on infinite words: decidability and undecidability results