From Mtl to Deterministic Timed Automata
From MaRDI portal
Publication:3588091
DOI10.1007/978-3-642-15297-9_13zbMath1290.68077OpenAlexW1558808483MaRDI QIDQ3588091
Publication date: 10 September 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15297-9_13
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (8)
Metric temporal logic revisited ⋮ Time-Bounded Verification of CTMCs against Real-Time Specifications ⋮ On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections] ⋮ Bounded variability of metric temporal logic ⋮ Runtime enforcement of timed properties revisited ⋮ The compound interest in relaxing punctuality ⋮ Unnamed Item ⋮ Monitoring timed properties (revisited)
This page was built for publication: From Mtl to Deterministic Timed Automata