199 search results - page 9 / 40 » A Fully Abstract Model for Graph-Interpreted Temporal Logic |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
72
Voted
FORMATS
2006
Springer
15 years 1 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...
70
Voted
KBSE
2008
IEEE
15 years 3 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
88
Voted
ICRA
2005
IEEE
15 years 3 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...
ATAL
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...