@inproceedings{ijcai2019p789, title = {Statistical Guarantees for the Robustness of Bayesian Neural Networks}, author = {Cardelli, Luca and Kwiatkowska, Marta and Laurenti, Luca and Paoletti, Nicola and Patane, Andrea and Wicker, Matthew}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, pages = {5693--5700}, year = {2019}, month = {7}, doi = {10.24963/ijcai.2019/789}, url = {https://doi.org/10.24963/ijcai.2019/789}, }