Similar Items: Unifying Büchi Complementation Constructions
- State of Büchi Complementation
- Büchi Complementation and Size-Change Termination
- The logical strength of Büchi's decidability theorem
- Half-Positional Objectives Recognized by Deterministic Büchi Automata
- From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
- Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials