Corpus ID: 41287597

IntEx 2017 Working Notes of the Workshop on Integrated Execution of Planning and Acting

@inproceedings{Roberts2017IntEx2W,
  title={IntEx 2017 Working Notes of the Workshop on Integrated Execution of Planning and Acting},
  author={M. Roberts and Sara Bernardini and Tim Niemueller},
  year={2017}
}
In the multi-agent path-finding (MAPF) problem a plan is needed to move a set of agents from their initial location to their goals without collisions. In this paper we introduce and study the k-robust MAPF problem, where we seek a plan that is robust to k unexpected delays per agent. We show how to convert a popular optimal MAPF solver – Conflict-Based Search (CBS) – to solve the k-robust MAPF problem. To handle cases where there are more than k unexpected delays, we analyze several execution… Expand

Figures and Tables from this paper

References

SHOWING 1-10 OF 105 REFERENCES
Planning for human-robot teaming in open worlds
TLDR
This article shows that several aspects of state-of-the-art planning technology, including temporal planning, partial satisfaction planning, and replanning, can be gainfully adapted to this scenario and describes how the planner and its open world extensions are integrated into a robot control architecture. Expand
A Flexible ANML Actor and Planner in Robotics
Planning in robotics must be considered jointly with Acting. Planning is an open loop activity which produces a plan, based on action models, the current state of the world and the desired goalExpand
A hierarchical goal-based formalism and algorithm for single-agent planning
TLDR
A hierarchical goal-based planning formalism and a planning algorithm, GDP (Goal-Decomposition Planner), that combines some aspects of both HTN planning and domain-independent planning and allows the planning agent to use domain- independent heuristic functions to guide the application of both methods and actions. Expand
Anticipatory On-Line Planning
TLDR
Results in two benchmark domains based on unmanned aerial vehicle planning and manufacturing suggest that an anticipatory approach yields a superior planner that is sensitive not only to which action should be executed, but when. Expand
Planning in Interplanetary Space: Theory and Practice
TLDR
This paper describes the RAX Planner/Scheduler (RAX-PS), both in terms of the underlying planning framework and the fielded planner, as a system capable of building concurrent plans with over a hundred tasks within the performance requirements of operational, mission-critical software. Expand
Processes and continuous change in a SAT-based planner
TLDR
The structure of the planner is discussed and how planning with time and metric quantities is compiled into a system of constraints is shown, including how to construct plans in domains containing atomic actions and durative actions. Expand
Reformulating Temporal Plans for Efficient Execution
TLDR
Every consistent temporal plan can be reformulated as an equivalent dispatch-able network, and an algorithm is presented that constructs such a network and is shown to have a minimum number of edges among all such networks. Expand
Between MDPs and Semi-MDPs: A Framework for Temporal Abstraction in Reinforcement Learning
TLDR
It is shown that options enable temporally abstract knowledge and action to be included in the reinforcement learning frame- work in a natural and general way and may be used interchangeably with primitive actions in planning methods such as dynamic pro- gramming and in learning methodssuch as Q-learning. Expand
PRS: a high level supervision and control language for autonomous mobile robots
TLDR
The main reasons why PRS is well suited for this type of application are discussed: the semantics of its plan (procedure) representation, which is important for plan execution and goal refinement, and its ability to construct and act on partial plans. Expand
A toolkit for studying Goal Reasoning , Planning , and Acting
Goal reasoning is maturing as a field, but lacks a unified model and common implementation that researchers can build from. This paper presents three contributions. First, it formalizes goalExpand
...
1
2
3
4
5
...