Sciweavers

172 search results - page 7 / 35
» Search Control of Plan Generation in Decision-Theoretic Plan...
Sort
View
AIPS
2000
15 years 1 months ago
Challenges and Methods in Testing the Remote Agent Planner
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...
Benjamin D. Smith, Martin S. Feather, Nicola Musce...
ICRA
1994
IEEE
137views Robotics» more  ICRA 1994»
15 years 3 months ago
Local Incremental Planning for Nonholonomic Mobile Robots
We present a simple approach for planning the motion of nonholonomic robots among obstacles. Existing methods lead to open-loop solutions which are either obtained in two stages, ...
Alessandro De Luca, Giuseppe Oriolo
HYBRID
2010
Springer
15 years 1 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
ICTAI
2005
IEEE
15 years 5 months ago
Subgoal Ordering and Granularity Control for Incremental Planning
In this paper, we study strategies in incremental planning for ordering and grouping subproblems partitioned by the subgoals of a planning problem when each subproblem is solved b...
Chih-Wei Hsu, Yixin Chen
AIPS
2010
14 years 12 months ago
Waking Up a Sleeping Rabbit: On Natural-Language Sentence Generation with FF
We present a planning domain that encodes the problem of generating natural language sentences. This domain has a number of features that provoke fairly unusual behavior in planne...
Alexander Koller, Joerg Hoffmann