@InProceedings{CKLP19,
author={L. Cardelli, M. Kwiatkowska, L. Laurenti, and A. Patane},
title={Robustness Guarantees for Bayesian Inference with Gaussian Processes},
booktitle={Proc. Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)},
year={2019},
pages={},
organization={},
publisher={},
series={},
volume={},
ISBN={},
address={},
month={},
doi={}
note={}
}