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 …

Mobile and general-purpose robots increasingly support everyday life, requiring
dependable robotics control software. Creating such software mainly amounts to …

Ever since the outbreak of the COVID-19 epidemic, various public health control strategies
have been proposed and tested against the coronavirus SARS-CoV-2. We study three …

When an AGV (Automated Guided Vehicle) performs navigation tasks, it needs to run the
path planning algorithm to obtain an optimal path in a current environment. In this paper …

With many applications across domains as diverse as logistics, healthcare, and agriculture,
service robots are in increasingly high demand. Nevertheless, the designers of these robots …

Mobile robots are increasingly used in our everyday life to autonomously realize missions. A
variety of languages has been proposed to support roboticists in the systematic …

In this paper the problem of cooperative task planning of multi-agent systems when timed
constraints are imposed to the system is investigated. We consider timed constraints given …

We develop a technique to automatically generate a control policy for a robot moving in an
environment that includes elements with partially unknown, changing behavior. The robot is …

Intelligent Autonomy of UAVs: Advanced Missions and Future Use provides an approach to
the formulation of the fundamental task typical to any mission and provides guidelines of …

This paper considers the problem of distributed motion-and task-planning of multi-agent and
multi-agent-object systems under temporal-logic-based tasks and uncertain dynamics. We …