Alternating RQ Timed Automata
No abstract available.
Related papers
- Alternating Automata Modulo First Order Theories CAV 2019
- On exponential-time completeness of the circularity problem for attribute grammars TOPLAS 2004
- Simplifying Alternating Automata for Emptiness Testing APLAS 2021
- Abstraction Refinement for Emptiness Checking of Alternating Data Automata TACAS 2018
- Decision Procedures for Inductive Boolean Functions Based on Alternating Automata CAV 2000
- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes APLAS 2013
- Bounded Model Checking for Weak Alternating Büchi Automata CAV 2006
- Practical Applications of the Alternating Cycle Decomposition TACAS 2022