@inproceedings{BPL+20,
 title = {Adversarial Robustness Guarantees for Classification with Gaussian Processes}, 
 author = {Blaas, Arno and Patane, Andrea and Laurenti, Luca and Cardelli, Luca and Kwiatkowska, Marta and Roberts, Stephen}, 
 booktitle = {Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics},  
 year = {2020}, 
 volume = {108}, 
 series = {Proceedings of Machine Learning Research}, 
 publisher = {PMLR}, 
 url = { http://proceedings.mlr.press/v108/blaas20a.html }
 }