Recognizing omega-regular Languages with Probabilistic Automata.

Christel Baier, Marcus Grer

Browse the full LICS paper archive.