Efficient Büchi Universality Checking
No abstract available.
Related papers
- Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing CAV 2010
- Efficient Model Checking Via Büchi Tableau Automata CAV 2001
- Efficient Emptiness Check for Timed Büchi Automata CAV 2010
- Advanced automata minimization POPL 2013
- Safraless Synthesis for Epistemic Temporal Specifications CAV 2014
- Parallel Explicit Model Checking for Generalized Büchi Automata TACAS 2015
- Bounded Model Checking for Weak Alternating Büchi Automata CAV 2006
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking TACAS 2013