1283 search results - page 54 / 257 » A Survey on Temporal Logics |
184
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
170
click to vote
ICRA
2007
IEEE
16 years 13 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
183
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
149
click to vote
JOLLI
2002
15 years 5 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
167
click to vote
WDAG
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...