\textsc{MightyL}: a compositional translation from MITL to timed automata

DOI10.1007/978-3-319-63387-9_21zbMath1494.68162OpenAlexW2734454381MaRDI QIDQ2151264

Gilles Geeraerts, Thomas Brihaye, Benjamin Monmege, Hsi-Ming Ho

Publication date: 1 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-63387-9_21

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (6)

SMT-based satisfiability of first-order LTL with event freezing functions and metric operators ⋮ Real-time policy enforcement with metric first-order temporal logic ⋮ On the timed temporal logic planning of coupled multi-agent systems ⋮ The compound interest in relaxing punctuality ⋮ Unnamed Item ⋮ Monitoring timed properties (revisited)

Uses Software

• Uppaal

This page was built for publication: \textsc{MightyL}: a compositional translation from MITL to timed automata