DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2009-0004,5392,KrCh,Probabilistic automata on infinite words: Decidability and undecidability results