Autonomous, or self-driving, cars are emerging as the solution to several problems primarily
caused by humans on roads, such as accidents and traffic congestion. However, those …

The rising popularity of self-driving cars has led to the emergence of a new research field in
recent years: Autonomous racing. Researchers are developing software and hardware for …

Trustworthy AI Page 1 64 COMMUNICATIONS OF THE ACM | OCTOBER 2021 | VOL. 64 | NO.
10 review articles DOI:10.1145/3448248 The pursuit of responsible AI raises the ante on both …

Abstract Convolutional Neural Networks (CNN) have redefined state-of-the-art in many real-
world applications, such as facial recognition, image classification, human pose estimation …

Abstract This paper presents Verisig 2.0, a verification tool for closed-loop systems with
neural network (NN) controllers. We focus on NNs with tanh/sigmoid activations and develop …

This article addresses the problem of verifying the safety of autonomous systems with neural
network (NN) controllers. We focus on NNs with sigmoid/tanh activations and use the fact …

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 …

Recent advances in deep learning have enabled data-driven controller design for
autonomous systems. However, verifying safety of such controllers, which are often hard-to …

We provide a new approach to synthesize controllers for nonlinear continuous dynamical
systems with control against safety properties. The controllers are based on neural networks …

Learning-based methodologies increasingly find applications in safety-critical domains like
autonomous driving and medical robotics. Due to the rare nature of dangerous events, real …