475 search results - page 11 / 95 » Temporal Logic Model Checking (Abstract) |
ECAI
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
CONCUR
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
SIGPLAN
2002
13 years 10 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
PADL
2007
Springer
14 years 5 months ago
2007
Springer