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 are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …

Many modern autonomous systems, particularly multi-agent systems, are time-critical and
need to be robust against timing uncertainties. Previous works have studied left and right …

In time-critical systems, such as air traffic control systems, it is crucial to design control
policies that are robust to timing uncertainty. Recently, the notion of Asynchronous Temporal …

This paper investigates the problem of designing control policies that satisfy high-level
specifications described by signal temporal logic (STL) in unknown, stochastic …

Signal Temporal Logic (STL) is a formal language over continuous-time signals (such as
trajectories of a multiagent system) that allows for the specification of complex spatial and …

This article considers the multiagent control problem under global temporal logic tasks,
where agents possess heterogeneous capabilities. The global temporal logic task imposes …

Real-world scenarios are characterized by timing uncertainties, eg, delays, and
disturbances. Algorithms with temporal robustness are crucial in guaranteeing the …

Autonomous multiagent systems is an area that is currently receiving increasing attention in
the communities of robotics, control systems, and machine learning (ML) and artificial …

This paper focuses on the heterogeneous multi-agent control problem under global
temporal logic tasks. We define a specification language, called extended capacity temporal …