This article deals with path planning of a mobile robot based on a grid map. Essential
assumption for path planning is a mobile robot with functional and reliable reactive …

In the field of mobile robotics, the study of multi-robot systems (MRSs) has grown
significantly in size and importance in recent years. Having made great progress in the …

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 this paper, a method to synthesize controllers using finite time convergence control barrier
functions guided by linear temporal logic specifications for continuous time multi-agent …

In this paper we propose a generic framework for real-time motion planning based on model-
checking and revision. The task specification is given as a Linear Temporal Logic formula …

In many multirobot applications, planning trajectories in a way to guarantee that the
collective behavior of the robots satisfies a certain high-level specification is crucial …

Generating verifiably correct execution strategies from Linear Temporal Logic (LTL) mission
specifications avoids the need for manually designed robot behaviors. However, when …

We consider the problem of automatic control strategy synthesis, for discrete models of
robotic systems, to fulfill a task that requires reaching a goal state while obeying a given set …

This paper studies the problem of control strategy synthesis for dynamical systems with
differential constraints to fulfill a given reachability goal while satisfying a set of safety rules …

This research proposes an automatic strategy for planning a team of identical robots
evolving in a known environment. The robots should satisfy a global task for the whole team …