@inproceedings{cardelli2019statistical,
  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={International Joint Conference on Artificial Intelligence (IJCAI 2019)},
  pages     = {5693--5700},
  doi       = {10.24963/ijcai.2019/789},
  url       = {https://doi.org/10.24963/ijcai.2019/789},
  year={2019}
}