We propose a new specification language and control synthesis technique for single and
multi-robot high-level tasks; these tasks include timing constraints and reaction to …

The deployment of autonomous systems in uncertain and dynamic environments has raised
fundamental questions. Addressing these is pivotal to build fully autonomous systems and …

In this paper, we focus on the problem of compositional synthesis of controllers enforcing
signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected …

We study the temporal robustness of stochastic signals. This topic is of particular interest in
interleaving processes such as multi-agent systems where communication and individual …

We study the temporal robustness of temporal logic specifications and show how to design
temporally robust control laws for time-critical control systems. This topic is of particular …

This paper is concerned with a compositional scheme for the construction of control barrier
certificates for interconnected discrete-time stochastic systems. The main objective is to …

This article studies the planning problem for a robot residing in partially unknown
environments under signal temporal logic (STL) specifications, where most of the existing …

This paper proposes two new approaches based on the Supervisory Control Theory (SCT)
of Discrete Event Systems (DES) for autonomous navigation of multiple robots with single …

We present a general framework for risk semantics on Signal Temporal Logic (STL)
specifications for stochastic dynamical systems using axiomatic risk theory. We show that …

In this work, we propose a novel approach for the continuous-time control synthesis of
nonlinear systems under nested signal temporal logic (STL) specifications. While the …