DOI,IST REx ID,Research Group,Title of publication
10.48550/arXiv.1104.0127,3363,"KrCh,ToHe",The decidability frontier for probabilistic automata on infinite words