Statistical Guarantees for the Robustness of Bayesian Neural Networks - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Nicola Paoletti; Andrea Patane; Matthew Wicker (2019)