Simple Complementation of Generalized Büchi Automata

• Authors: DOKOUPIL David; STREJČEK Jan
• Year of publication: 2026
• Type: Paper in proceedings
• Conference: LPAR 2026, Proceedings
• MU Faculty or unit: Faculty of Informatics

Related projects

• Concise Models for Efficient Reasoning
• Modeling, analysis, and verification (2026)