Decidable Problems for Probabilistic Automata on Infinite Words.

Krishnendu Chatterjee, Mathieu Tracol

Browse the full LICS paper archive.