Alessandro Abate

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 …