Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction
No abstract available.
Related papers
- Efficient Emptiness Check for Timed Büchi Automata CAV 2010
- Kofola 1.0: A Modular Approach to ømega-Regular Complementation and Inclusion Checking CAV 2026
- Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing CAV 2010
- Alternating Automata Modulo First Order Theories CAV 2019
- Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion CAV 2019
- Modular Mix-and-Match Complementation of Büchi Automata TACAS 2023
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach CAV 2019
- Abstraction Refinement for Emptiness Checking of Alternating Data Automata TACAS 2018