Translating a Continuous-Time Temporal Logic into Timed Automata
No abstract available.
Related papers
- Revisiting MITL to Fix Decision Procedures VMCAI 2018
- Extending nuXmv with Timed Transition Systems and Timed Temporal Properties CAV 2019
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning TACAS 2023
- MightyPPL: Model Checking MITL with Past and Pnueli Modalities TACAS 2026
- A Probabilistic Logic for Verifying Continuous-time Markov Chains TACAS 2022
- POPACheck: A Model Checker for Probabilistic Pushdown Automata CAV 2025
- Rabinizer 4: From LTL to Your Favourite Deterministic Automaton CAV 2018
- SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning TACAS 2025