A theory of sampling for continuous-time metric temporal logic

DOI10.1145/1838552.1838560zbMath1351.68160arXiv0911.5642OpenAlexW3123425189WikidataQ130869992 ScholiaQ130869992MaRDI QIDQ2946625

Carlo A. Furia, Matteo Rossi

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0911.5642

zbMATH Keywords

hybrid systemsreal-time systemsmetric temporal logic

Mathematics Subject Classification ID

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

Related Items (4)

Algorithms for monitoring real-time properties ⋮ Bounded variability of metric temporal logic ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ MITL verification under timing uncertainty

This page was built for publication: A theory of sampling for continuous-time metric temporal logic