Some Recent Results in Metric Temporal Logic

Some Recent Results in Metric Temporal Logic

Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model checking problems for fragments of MTL with respect to different semantic models. We show that these fragments have widel...

書目詳細資料
Main Authors:	Ouaknine, J, Worrell, J
格式:	Journal article
語言:	English
出版:	2008

相似書籍

On the decidability of Metric Temporal Logic
由: Ouaknine, J, et al.
出版: (2005)

On metric temporal logic and faulty turing machines
由: Ouaknine, J, et al.
出版: (2006)

Safety metric temporal logic is fully decidable
由: Ouaknine, J, et al.
出版: (2006)

Online Monitoring of Metric Temporal Logic
由: Ho, H, et al.
出版: (2014)

On Process−algebraic Extensions of Metric Temporal Logic
由: Haase, C, et al.
出版: (2010)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
由: Ouaknine, J, et al.
出版: (2007)

On the Expressiveness and Monitoring of Metric Temporal Logic
由: Hsi-Ming Ho, et al.
出版: (2019-05-01)

On the decidability and complexity of Metric Temporal Logic over finite words
由: Joel Ouaknine, et al.
出版: (2007-02-01)

Zeno, Hercules, and the Hydra: Safety metric temporal logic is Ackermann-complete
由: Lazić, R, et al.
出版: (2016)

On the Expressiveness of Metric Temporal Logic over Bounded Timed Words
由: Ho, H, et al.
出版: (2014)

The Church Synthesis Problem with Metric
由: Jenkins, M, et al.
出版: (2011)

Tractable Reasoning in a Fragment of Separation Logic.
由: Cook, B, et al.
出版: (2011)

Tractable reasoning in a fragment of separation logic
由: Cook, B, et al.
出版: (2011)

On the Metric Temporal Logic for Continuous Stochastic Processes
由: Mitsumasa Ikeda, et al.
出版: (2024-06-01)

On the decidability of monadic second-order logic with arithmetic predicates
由: Berthé, V, et al.
出版: (2024)

TWO VARIABLE VS. LINEAR TEMPORAL LOGIC IN MODEL CHECKING AND GAMES
由: Benedikt, M, et al.
出版: (2013)

Two Variable vs. Linear Temporal Logic in Model Checking and Games
由: Benedikt, M, et al.
出版: (2011)

Remarks on Some Recent Fixed Point Results on Quaternion-Valued Metric Spaces
由: Ravi P. Agarwal, et al.
出版: (2014-01-01)

Decidability and complexity results for timed automata via channel machines
由: Abdulla, P, et al.
出版: (2005)

Recent developments in FDR
由: Armstrong, P, et al.
出版: (2012)

Some critical remarks on recent results concerning ϝ-contractions in b-metric spaces
由: Mudasir Younis, et al.
出版: (2023-04-01)

Recent developments in FDR
由: Armstrong, P, et al.
出版: (2012)

Recent developments in FDR
由: Armstrong, P, et al.
出版: (2012)

Recent Developments in FDR
由: Armstrong, P, et al.
出版: (2012)

Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments
由: Luyao Niu, et al.
出版: (2023-03-01)

Petri net model with fuzzy timing and fuzzy-metric temporal logic /
由: 241158 Yi, Zhou, et al.

Two Variable vs. Linear Temporal Logic in Model Checking and Games
由: Michael Benedikt, et al.
出版: (2013-05-01)

Some Results In Neutrosophic Soft Metric Spaces
由: M. Jeyaraman, et al.
出版: (2023-10-01)

Logic, dialectics, politics : some recent controversies
由: Alker, Hayward R.
出版: (2013)

On Some Recent Results Concerning <i>F</i>-Suzuki-Contractions in b-Metric Spaces
由: Ersin Gilić, et al.
出版: (2020-06-01)

Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications
由: Zhe Xu, et al.
出版: (2023-01-01)

Towards a Theory of Time-Bounded Verification.
由: Ouaknine, J, et al.
出版: (2010)

Decision Problems for Linear Recurrence Sequences.
由: Ouaknine, J, et al.
出版: (2012)

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic
由: P.N. Mosaad, et al.
出版: (2017-06-01)

Some fixed point results on G-metric and Gb-metric spaces
由: Jaradat Mohammed M.M., et al.
出版: (2017-08-01)

On the Expressive Power of Some Extensions of Linear Temporal Logic
由: Anton Gnatenko, et al.
出版: (2018-10-01)

Some fixed point results on S-metric spaces
由: Shahraki Maryam, et al.
出版: (2020-11-01)

Some Results on Greedy Embeddings in Metric Spaces
由: Moitra, Ankur, et al.
出版: (2013)

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks
由: Agnieszka M. Zbrzezny, et al.
出版: (2022-12-01)

Undecidability of universality for timed automata with minimal resources
由: Adams, S, et al.
出版: (2007)