Minimizing Generalized Büchi Automata
No abstract available.
Related papers
- Advanced automata minimization POPL 2013
- Parallel Explicit Model Checking for Generalized Büchi Automata TACAS 2015
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization CAV 2020
- Practical Applications of the Alternating Cycle Decomposition TACAS 2022
- Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation TACAS 2022
- LTL to Büchi Automata Translation: Fast and More Deterministic TACAS 2012
- From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata TACAS 2017
- Büchi Store: An Open Repository of Büchi Automata TACAS 2011