Some Recent Results in Metric Temporal Logic

DOI10.1007/978-3-540-85778-5_1zbMath1171.68553OpenAlexW1498203978MaRDI QIDQ3543284

Joël Ouaknine, James Worrell

Publication date: 2 December 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-85778-5_1

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (21)

Metric temporal logic revisited ⋮ Timed hyperproperties ⋮ Temporal Logic Verification for Delay Differential Equations ⋮ Algorithms for monitoring real-time properties ⋮ Bounded variability of metric temporal logic ⋮ A decidable timeout-based extension of linear temporal logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Multiple-valued semantics for metric temporal logic ⋮ Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic ⋮ Predicate metric tense logic for `now' and `then' ⋮ Theorem proving for pointwise metric temporal logic over the naturals via translations ⋮ Algebraic foundations for qualitative calculi and networks ⋮ Heterogeneous and asynchronous networks of timed systems ⋮ Bayesian statistical model checking with application to Stateflow/Simulink verification ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ So, what exactly is a qualitative calculus? ⋮ The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism ⋮ Unnamed Item ⋮ On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing ⋮ Satisfiability checking for mission-time \textsf{LTL} (MLTL) ⋮ On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic

Cites Work

• Real-time logics: Complexity and expressiveness
• On the freeze quantifier in Constraint LTL: Decidability and complexity
• Sooner is safer than later
• A theory of timed automata
• Verifying lossy channel systems has nonprimitive recursive complexity.
• On Expressiveness and Complexity in Real-Time Model Checking
• A really temporal logic
• The benefits of relaxing punctuality
• On Termination for Faulty Channel Machines
• What good are digital clocks?
• On the decidability and complexity of Metric Temporal Logic over finite words
• Formal Methods for the Design of Real-Time Systems
• Foundations of Software Science and Computational Structures
• Tools and Algorithms for the Construction and Analysis of Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some Recent Results in Metric Temporal Logic