Robot control for tasks such as moving around obstacles or gras** objects has advanced
significantly in the last few decades. However, controlling robots to perform complex tasks is …

We propose a cooperative motion and task planning scheme for multi-agent systems where
the agents have independently assigned local tasks, specified as linear temporal logic …

In this paper, we address the temporal logic motion planning problem for mobile robots that
are modeled by second order dynamics. Temporal logic specifications can capture the usual …

We consider the following problem: given a linear system and a linear temporal logic (LTL)
formula over a set of linear predicates in its state variables, find a feedback control law with …

In this paper, we develop a method to automatically generate a control policy for a
dynamical system modeled as a Markov Decision Process (MDP). The control specification …

In this paper, we consider the problem of robot motion planning in order to satisfy formulas
expressible in temporal logics. Temporal logics naturally express traditional robot …

This paper presents a geometry-based, multi-layered synergistic approach to solve motion
planning problems for mobile robots involving temporal goals. The temporal goals are …

In this paper we present a method for automatically generating optimal robot paths satisfying
high-level mission specifications. The motion of the robot in the environment is modeled as a …

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 …

Motivated by the recent interest in cyber-physical and autonomous robotic systems, we study
the problem of dynamically coupled multiagent systems under a set of signal temporal logic …