Intelligent techniques foster the dissemination of new discoveries and novel technologies
that advance the ability of robots to assist and support humans. The human-centered …

In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

Mobile robots play crucial roles in industry and commerce, and automatic guided vehicles
(AGV) are one of the primary parts of smart manufactory and intelligent logistics. Path …

Multi-agent reinforcement learning (MARL) has been increasingly used in a wide range of
safety-critical applications, which require guaranteed safety (eg, no unsafe states are ever …

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 …

This paper describes a framework for automatically generating optimal action-level behavior
for a team of robots based on temporal logic mission specifications under resource …

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 …

We present a compositional motion planning framework for multi-robot systems based on an
encoding to satisfiability modulo theories (SMT). In our framework, the desired behavior of a …

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 …

We study the problem of plan synthesis for multi-agent systems, to achieve complex, high-
level, long-term goals that are assigned to each agent individually. As the agents might not …