Sciweavers

Share
FORMATS
2008
Springer

Some Recent Results in Metric Temporal Logic

8 years 11 months ago
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 widely differing complexities: from polynomial space to non-primitive recursive and even undecidable. However we show that the most commonly occurring real-time properties, such as invariance and bounded response, can be expressed in fragments of MTL for which model checking, if not satisfiability, can be decided in polynomial or exponential space.
Joël Ouaknine, James Worrell
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FORMATS
Authors Joël Ouaknine, James Worrell
Comments (0)
books