Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing
No abstract available.
Related papers
- Lazy Automata Techniques for WS1S TACAS 2017
- Advanced automata minimization POPL 2013
- Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction CAV 2013
- FORQ-Based Language Inclusion Formal Testing CAV 2022
- Safety and Co-safety Comparator Automata for Discounted-Sum Inclusion CAV 2019
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach CAV 2019
- Simulations in Rank-Based Büchi Automata Complementation APLAS 2019
- Reduction of Nondeterministic Tree Automata TACAS 2016