On the Expressiveness of MTL Variants over Dense Time

DOI10.1007/978-3-540-75454-1_13zbMath1142.68048OpenAlexW1529754291MaRDI QIDQ3510842

Carlo A. Furia, Matteo Rossi

Publication date: 3 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75454-1_13

Mathematics Subject Classification ID

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

Related Items (8)

Metric temporal logic revisited ⋮ Metric temporal reasoning with less than two clocks ⋮ Unnamed Item ⋮ Heterogeneous and asynchronous networks of timed systems ⋮ On the expressiveness of TPTL and MTL ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ Sampling polynomial trajectories for LTL verification ⋮ MITL verification under timing uncertainty

This page was built for publication: On the Expressiveness of MTL Variants over Dense Time