22 search results - page 1 / 5 » Using Abstraction and Nondeterminism to Plan Reaction Loops |
AAAI
1994
13 years 6 months ago
1994
ICRA
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
IEAAIE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
CVPR
2009
IEEE
14 years 2 months ago
2009
IEEE
We present an image-based Simultaneous Localization and Mapping (SLAM) framework with online, appearanceonly loop closing. We adopt a layered approach with metric maps over small ...