Complementation Constructions for Nondeterministic Automata on Infinite Words.

Orna Kupferman, Moshe Y. Vardi

Browse the full TACAS paper archive.