Good-for-games ω-Pushdown Automata.

Karoliina Lehtinen, Martin Zimmermann

Browse the full LICS paper archive.