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 …

This article proposes a new highly scalable and asymptotically optimal control synthesis
algorithm from linear temporal logic specifications, called STyLu S* for large-Scale optimal …

In this paper we develop an intermittent communication framework for teams of mobile
robots. Robots move along the edges of a mobility graph and communicate only when they …

We address the problem of coordinating the trajectories of heterogeneous multi-agent
systems under spatio-temporal specifications. In particular, we consider global Signal …

This paper proposes a new optimal control synthesis algorithm for multirobot systems under
global temporal logic tasks. Existing planning approaches under global temporal goals rely …

In this paper, we develop a distributed intermittent communication and task planning
framework for mobile robot teams. The goal of the robots is to accomplish complex tasks …

The majority of existing linear temporal logic (LTL) planning methods rely on the
construction of a discrete product automaton, which combines a discrete abstraction of robot …

In this paper, we present a control framework that allows magnetic microrobot teams to
accomplish complex micromanipulation tasks captured by global linear temporal logic (LTL) …

We consider the problem of controlling a heterogeneous multi-agent system required to
satisfy temporal logic requirements. Capability Temporal Logic (CaTL) was recently …

The maximum benefit out of the recent developments in sensor networking can be achieved
via the integration of sensors with Internet. The real-time specific sensor data must be …