MTL with Bounded Variability: Decidability and Complexity

DOI10.1007/978-3-540-85778-5_9MaRDI QIDQ3543293zbMATH OpenOpenAlexFDO

Authors Carlo A. Furia, Matteo Rossi

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_9

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• Bounded variability of metric temporal logic
• On the decidability and complexity of Metric Temporal Logic over finite words
• Time-Bounded Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Some Recent Results in Metric Temporal Logic

Cites work

• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 2112984 (Why is no real title available?)
• From MITL to Timed Automata
• Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
• MTL with Bounded Variability: Decidability and Complexity
• On the decidability and complexity of Metric Temporal Logic over finite words
• Quantitative temporal logics over the reals: PSpace and below
• Real-time logics: Complexity and expressiveness
• Temporal logics with incommensurable distances are undecidable
• The benefits of relaxing punctuality
• Timed regular expressions

Cited in

(10)

• From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
• MSO logics for weighted timed automata
• The compound interest in relaxing punctuality
• Metric temporal reasoning with less than two clocks
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Time-Bounded Verification
• On the Expressiveness of MTL Variants over Dense Time
• MTL with Bounded Variability: Decidability and Complexity
• Metric temporal logic revisited
• Bounded variability of metric temporal logic

This page was built for publication: MTL with Bounded Variability: Decidability and Complexity

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