@misc{5392, abstract = {We consider probabilistic automata on infinite words with acceptance defined by safety, reachability, Büchi, coBüchi and limit-average conditions. We consider quantitative and qualitative decision problems. We present extensions and adaptations of proofs of [GO09] and present a precise characterization of the decidability and undecidability frontier of the quantitative and qualitative decision problems.}, author = {Chatterjee, Krishnendu}, issn = {2664-1690}, pages = {17}, publisher = {IST Austria}, title = {{Probabilistic automata on infinite words: Decidability and undecidability results}}, doi = {10.15479/AT:IST-2009-0004}, year = {2009}, }