16 citations · 42 across the 15 of their papers we have counts for
3 papers · 1 filter
Neural Simplex Architecture
Dung T. Phan, Radu Grosu, Nils Jansen +3
We present the Neural Simplex Architecture (NSA), a new approach to runtime assurance that provides safety guarantees for neural controllers (obtained e.g. using reinforcement lear…
Statistical Guarantees for the Robustness of Bayesian Neural Networks
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti +3
We introduce a probabilistic robustness measure for Bayesian Neural Networks (BNNs), defined as the probability that, given a test point, there exists a point within a bounded set…
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti +4
We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochas…