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

DOI10.1007/11867340_16MaRDI QIDQ3511237zbMATH OpenOpenAlexFDO

Authors 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

discretizationintegrationreal-timecontinuous timediscrete timeformal methodsmetric temporal logicdense time

Mathematics Subject Classification ID

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

Recommendations

• A theory of sampling for continuous-time metric temporal logic
• A sampling approach to the analysis of metric temporal logic
• On Sampling Abstraction of Continuous Time Logic with Durations
• Deciding continuous-time metric temporal logic with counting modalities
• Metric temporal logic revisited
• Metric temporal logic with durations
• Some Recent Results in Metric Temporal Logic
• scientific article; zbMATH DE number 7056237
• A tool for deciding the satisfiability of continuous-time metric temporal logic
• A time-model invariant fragment of metric temporal logic

Cited in

(6)

• Robustness of temporal logic specifications for continuous-time signals
• A theory of sampling for continuous-time metric temporal logic
• Model Checking Temporal Metric Specifications with Trio2Promela
• A time-model invariant fragment of metric temporal logic
• MTL with Bounded Variability: Decidability and Complexity
• Heterogeneous and asynchronous networks of timed systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511237)