1860 search results - page 53 / 372 » A Temporal Logic of Robustness |
81
Voted
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
119
Voted
CONCUR
2001
Springer
15 years 5 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...
108
Voted
ICRA
2007
IEEE
15 years 7 months 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...
122
click to vote
FORMATS
2006
Springer
15 years 4 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...
94
Voted
JOLLI
2002
15 years 10 days 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 ...