@article{JMLR:v23:21-0382,
  author  = {Andrea Patane and Arno Blaas and Luca Laurenti and Luca Cardelli and Stephen Roberts and Marta Kwiatkowska},
  title   = {Adversarial Robustness Guarantees for Gaussian Processes},
  journal = {Journal of Machine Learning Research},
  year    = {2022},
  volume  = {23},
  number  = {146},
  pages   = {1--55},
  url     = {http://jmlr.org/papers/v23/21-0382.html}
}