The use of automated action planning techniques is essential for efficient mission execution
of mobile robots. However, a tremendous effort is needed to represent planning problem …

Automated action planning is crucial for efficient execution of mobile robot missions.
Automated planners use complete domain descriptions to construct plans. Nevertheless …

Past research into robotic planning with temporal logic specifications, notably Linear
Temporal Logic (LTL), was largely based on a single formula for individual or groups of …

This letter develops a fast mission planning framework named planning decision tree (PDT),
that can handle large-scale multi-robot systems with temporal logic specifications in real …

Past research into robotic planning with temporal logic specifications, notably Linear
Temporal Logic (LTL), was largely based on singular formulas for individual or groups of …

If an autonomous mobile robot has to perform a really complex task like setting the table for
dinner, it has to have capabilities for planning and reasoning in order to be able to …

The authors present an overview of a hierarchical framework for coordinating task-and
motion-level operations in multirobot systems. Their framework is based on the idea of using …

In this paper we present a method for automatic planning of optimal paths for a group of
robots that satisfy a common high-level mission specification. The motion of each robot is …

In service robot applications, planning is often integrated with task allocation. Linear
Temporal Logic (LTL) as an expressive high-level formalism is widely used for task …

A robot task planner must be able to tolerate uncertainty in the durations of commanded
actions and uncertainty in the time of occurrence of exogenous events. Sophisticated …