DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2012.29,2957,KrCh,Decidable problems for probabilistic automata on infinite words