@inproceedings{10153cddf6e44fa38a568fbaae40871c,
title = "Statistical Guarantees for the Robustness of Bayesian Neural Networks",
author = "Luca Cardelli and Marta Kwiatkowska and Luca Laurenti and Nicola Paoletti and Andrea Patan{\`e} and Matthew Wicker",
year = "2019",
month = aug,
doi = "10.24963/ijcai.2019/789",
language = "English",
pages = "5693--5700",
booktitle = "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence",
publisher = "International Joint Conferences on Artificial Intelligence",
}