@article{PBL+22,
  title={Adversarial Robustness Guarantees for Gaussian Processes},
  author={Patane, Andrea and Blaas, Arno and Laurenti, Luca and Cardelli, Luca and Roberts, Stephen and Kwiatkowska, Marta},
  journal={The Journal of Machine Learning Research},
  volume={23},
  pages={1--55},
  year={2022},
  publisher={JMLR. org}
}