Layered Automata: A Canonical Model for Automata over Infinite Words.

Antonio Casares, Christof Lding, Igor Walukiewicz

Browse the full LICS paper archive.