475 search results - page 11 / 95 » Temporal Logic Model Checking (Abstract) |
128
Voted
ECAI
2010
Springer
15 years 1 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...
94
Voted
CONCUR
1998
Springer
15 years 4 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...
113
click to vote
ICRA
2005
IEEE
15 years 6 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...
110
click to vote
SIGPLAN
2002
15 years 7 days 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...
72
Voted
PADL
2007
Springer
15 years 6 months ago
2007
Springer