The need for computationally-efficient control methods of dynamical systems under temporal
logic tasks has recently become more apparent. Existing methods are computationally …

An approach for formally verifying the safety of automated vehicles is proposed. Due to the
uniqueness of each traffic situation, we verify safety online, ie, during the operation of the …

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 …

As researchers have pushed the limits of what can be accomplished by a single robot
operating in a known or unknown environment, a greater emphasis has been placed on 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 …

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 …

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 …

Motivated by the recent interest in cyber-physical and interconnected autonomous systems,
we study the problem of dynamically coupled multi-agent systems under conflicting local …

This paper investigates the coordination of multiple agents for high-level tasks described by
linear temporal logics (LTL). The general purpose for multi-agent coordination is to …

This article considers control synthesis of an autonomous agent with linear temporal logic
(LTL) specifications subject to environment and motion uncertainties. Specifically, the …