TY - RPRT TI - Robustness Guarantees for Bayesian Inference with Gaussian Processes AU - Luca Cardelli AU - Marta Kwiatkowska AU - Luca Laurenti AU - Andrea Patane PY - 2018 UR - https://arxiv.org/abs/1809.06452 ID - 1809.06452 ER -