Büchi Complementation and Size-Change Termination
Abstract elided by the publisher.
Related papers
- Simulations in Rank-Based Büchi Automata Complementation APLAS 2019
- The size-change principle for program termination POPL 2001
- Modular Mix-and-Match Complementation of Büchi Automata TACAS 2023
- Ranking functions for size-change termination TOPLAS 2009
- Learning to Complement Büchi Automata VMCAI 2018
- Complementing Semi-deterministic Büchi Automata TACAS 2016
- Complementing Büchi Automata with Ranker CAV 2022
- Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization CAV 2020