TY  - RPRT
TI  - Probabilistic Reach-Avoid for Bayesian Neural Networks
AU  - Matthew Wicker
AU  - Luca Laurenti
AU  - Andrea Patane
AU  - Nicola Paoletti
AU  - Alessandro Abate
AU  - Marta Kwiatkowska
PY  - 2023
UR  - https://arxiv.org/abs/2310.01951
ID  - 2310.01951
ER  -