Metric temporal logic revisited
From MaRDI portal
Publication:266865
DOI10.1007/s00236-015-0243-0zbMath1339.03019OpenAlexW2286903566MaRDI QIDQ266865
Publication date: 7 April 2016
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-015-0243-0
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The complexity of temporal logic over the reals
- Real-time logics: Complexity and expressiveness
- The decision problem for linear temporal logic
- An axiomatization for until and since over the reals without the IRR rule
- A tableau for general linear temporal logic
- Metric temporal reasoning with less than two clocks
- Model Checking Temporal Metric Specifications with Trio2Promela
- On the Expressiveness of MTL Variants over Dense Time
- From MITL to Timed Automata
- On Expressiveness and Complexity in Real-Time Model Checking
- Some Recent Results in Metric Temporal Logic
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
- MTL with Bounded Variability: Decidability and Complexity
- From Mtl to Deterministic Timed Automata
- When Are Timed Automata Determinizable?
- A really temporal logic
- The benefits of relaxing punctuality
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- What good are digital clocks?
- Expressiveness of Metric modalities for continuous time
- An Expressive Temporal Logic for Real Time
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
This page was built for publication: Metric temporal logic revisited
