53 search results - page 1 / 11 » From Timed Automata to Logic - and Back |
MFCS
1995
Springer
13 years 8 months ago
1995
Springer
FORMATS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
JUCS
2006
13 years 5 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 ...
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...