5216 search results - page 295 / 1044 » Planning as Model Checking |
148
Voted
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
159
click to vote
FLAIRS
2009
15 years 2 months ago
2009
In this paper, we investigate the hypothesis that plan recognition can significantly improve the performance of a casebased reinforcement learner in an adversarial action selectio...
134
click to vote
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
This paper describes an interactive sensor planning system that can be used to select viewpoints subject to camera visibility, field of view and task constraints. Application area...
176
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
143
click to vote
ACL
2012
13 years 7 months ago
2012
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...