Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
Abstract elided by the publisher.
Related papers
- Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition CAV 2022
- Truly On-the-Fly LTL Model Checking TACAS 2005
- Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata CAV 2025
- Practical Applications of the Alternating Cycle Decomposition TACAS 2022
- Action-Based Model Checking: Logic, Automata, and Reduction CAV 2020
- Kofola 1.0: A Modular Approach to ømega-Regular Complementation and Inclusion Checking CAV 2026
- Supermartingale Certificates for Quantitative Omega-Regular Verification and Control CAV 2025
- Efficient Model Checking Via Büchi Tableau Automata CAV 2001