153 search results - page 4 / 31 » On the Decidability of Metric Temporal Logic |
173
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecida...
172
click to vote
JUCS
2006
15 years 6 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
171
click to vote
SLOGICA
2008
15 years 5 months ago
2008
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
176
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
163
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...