Probabilistic Automata on Infinite Words: Decidability and Undecidability Results.

Krishnendu Chatterjee, Thomas A. Henzinger

Browse the full ATVA paper archive.