MightyL: A Compositional Translation from MITL to Timed Automata
No abstract available.
Related papers
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- Revisiting MITL to Fix Decision Procedures VMCAI 2018
- Translating a Continuous-Time Temporal Logic into Timed Automata APLAS 2003
- EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination PLDI 2026
- Timed Automata Verification and Synthesis via Finite Automata Learning TACAS 2023
- Compositional Verification of Timed Automata via Violation Assumptions CAV 2026
- Learning Assumptions for Compositional Verification of Timed Automata CAV 2023
- From LTL to Deterministic Automata: A Safraless Compositional Approach CAV 2014