The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition.

Antonio Casares, Corto Mascle

Browse the full MFCS paper archive.