Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling

DOI10.1007/11867340_16zbMath1141.68465OpenAlexW1802858671MaRDI QIDQ3511237

Carlo A. Furia, Matteo Rossi

Publication date: 8 July 2008

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

Full work available at URL: https://doi.org/10.1007/11867340_16

zbMATH Keywords

discretizationintegrationdiscrete timeformal methodscontinuous timereal-timemetric temporal logicdense time

Mathematics Subject Classification ID

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

Related Items (3)

MTL with Bounded Variability: Decidability and Complexity ⋮ Heterogeneous and asynchronous networks of timed systems ⋮ Robustness of temporal logic specifications for continuous-time signals

This page was built for publication: Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling