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

This paper addresses the problem of decentralized tube‐based nonlinear model predictive
control (NMPC) for a general class of uncertain nonlinear continuous‐time multiagent …

This paper develops a controller synthesis approach for a multi-agent system (MAS) with
intermittent communication. We adopt a leader-follower scheme, where a mobile leader with …

This work addresses the problem of learning optimal control policies for a multi-agent
system in an adversarial environment. Specifically, we focus on multi-agent systems where …

This paper proposes an approach that combines motion planning and hybrid feedback
control design in order to find and follow trajectories fulfilling a given complex mission …

This paper addresses the problem of navigation control of a general class of uncertain
nonlinear multi-agent systems in a bounded workspace, which is subset of R n, with static …

This work addresses the problem of robot navigation under timed temporal specifications in
workspaces cluttered with obstacles. We propose a hybrid control strategy that guarantees …

In this paper, we propose a computationally efficient symbolic controller synthesis technique
for multi-agent systems. The paper focuses on synthesizing distributed controllers enforcing …

Satisfying both safety and reachability requirements in dynamic adversarial environments is
very challenging, particularly when little or no information about the dynamics and intentions …

This paper investigates the problem of deploying a multi-robot team to satisfy a syntactically
co-safe Truncated Linear Temporal Logic (scTLTL) task specification via multi-agent …