Typeness for omega-Regular Automata.

Orna Kupferman, Gila Morgenstern, Aniello Murano

Browse the full ATVA paper archive.