Luca Laurenti

Certification of Iterative Predictions in Bayesian Neural Networks

2021 · arXiv (Cornell University)

We consider the problem of computing reach-avoid probabilities for iterative predictions made with Bayesian neural network (BNN) models. Specifically, we leverage bound propagation techniques and backward recursion to compute lower bounds for the probability that …

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions

2023 · arXiv (Cornell University)

Providing safety guarantees for stochastic dynamical systems is a central problem in various fields, including control theory, machine learning, and robotics. Existing methods either employ Stochastic Barrier Functions (SBFs) or rely on numerical approaches based …