With growing numbers of intelligent autonomous systems in human environments, the ability
of such systems to perceive, understand, and anticipate human behavior becomes …

Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …

We consider the problem of generating motion plans for a robot that are guaranteed to
succeed despite uncertainty in the environment, parametric model uncertainty, and …

The recent progress in autonomous vehicle research and development has led to
increasingly widespread testing of fully autonomous vehicles on public roads, where …

An approach for formally verifying the safety of automated vehicles is proposed. Due to the
uniqueness of each traffic situation, we verify safety online, ie, during the operation of the …

Modeling error or external disturbances can severely degrade the performance of Model
Predictive Control (MPC) in real-world scenarios. Robust MPC (RMPC) addresses this …

This paper proposes a new forward reachability analysis approach to verify safety of cyber-
physical systems (CPS) with reinforcement learning controllers. The foundation of our …

The safety of the planned paths of autonomous cars with respect to the movement of other
traffic participants is considered. Therefore, the stochastic occupancy of the road by other …

Challenges related to automated driving are no longer focused on just the construction of
such automated vehicles (AVs) but also on assuring the safety of operation. Recent …

A new technique for computing the reachable set of hybrid systems with nonlinear
continuous dynamics is presented. Previous work showed that abstracting the nonlinear …