40 search results - page 2 / 8 » Planning for Temporally Extended Goals as Propositional Sati... |
AAAI
1996
13 years 6 months ago
1996
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
IJCAI
2001
13 years 6 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
CORR
2010
Springer
13 years 5 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...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...