Simplifying Alternating Automata for Emptiness Testing
No abstract available.
Related papers
- Abstraction Refinement for Emptiness Checking of Alternating Data Automata TACAS 2018
- Lazy Automata Techniques for WS1S TACAS 2017
- Alternating Automata Modulo First Order Theories CAV 2019
- The tree width of auxiliary storage POPL 2011
- Antichain Algorithms for Finite Automata TACAS 2010
- Efficient Emptiness Check for Timed Büchi Automata CAV 2010
- Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction CAV 2013
- Truly On-the-Fly LTL Model Checking TACAS 2005