In control theory, complicated dynamics such as systems of (nonlinear) differential equations
are controlled mostly to achieve stability. This fundamental property, which can be with …

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

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

We tackle the challenging problem of multi-agent cooperative motion planning for complex
tasks described using signal temporal logic (STL), where robots can have nonlinear and …

This paper addresses the problem of learning optimal policies for satisfying signal temporal
logic (STL) specifications by agents with unknown stochastic dynamics. The system is …

Signal Temporal Logic (STL) provides a convenient way of encoding complex control
objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis …

Many existing approaches for coordinating heterogeneous teams of robots either consider
small numbers of agents, are application-specific, or do not adequately address common …

Recent years have seen an increasing use of Signal Temporal Logic (STL) as a formal
specification language for symbolic control, due to its expressiveness and closeness to …

We are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …

The problem of safe planning and control for multi-drone systems across a variety of
missions is of critical importance, as the scope of tasks assigned to such systems increases …