Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …

This work identifies 18 foundational challenges in assuring the alignment and safety of large
language models (LLMs). These challenges are organized into three different categories …

In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

A foundational text that offers a rigorous introduction to the principles of design,
specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …

Ensuring that AI systems reliably and robustly avoid harmful or dangerous behaviours is a
crucial challenge, especially for AI systems with a high degree of autonomy and general …

Modern autonomous systems, such as flying, legged, and wheeled robots, are generally
characterized by high-dimensional nonlinear dynamics, which presents challenges for …

Cyber-physical systems (CPSs) are the next generation of engineered systems in which
computing, communication, and control technologies are tightly integrated. Research on …

Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …

The role of IL‐33/ST2 pathway in antitumor immunity is unclear. Using 4T1 breast cancer
model we demonstrate time‐dependent increase of endogenous IL‐33 at both the mRNA …