The quest for an adequate semantic basis of dense-time metric temporal logic

DOI10.1007/978-3-031-15629-8_12MaRDI QIDQ6163886zbMATH OpenOpenAlexFDO

Authors Martin Fränzle

Publication date 26 July 2023

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

Full work available at URL https://doi.org/10.1007/978-3-031-15629-8_12

zbMATH Keywords

metric-time temporal logicvariability constraints

Mathematics Subject Classification ID

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

Recommendations

• Timer formulas and decidable metric temporal logic
• Metric temporal logic revisited
• Decidable metric logics
• A note on unbounded metric temporal logic over dense time domains
• A sampling approach to the analysis of metric temporal logic

Cites work

• A calculus of durations
• A really temporal logic
• Duration calculus. A formal approach to real-time systems.
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Model theory and exponentiation.
• Model-checking dense-time duration calculus
• Robust satisfaction of temporal logic over real-valued signals
• The benefits of relaxing punctuality

This page was built for publication: The quest for an adequate semantic basis of dense-time metric temporal logic

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