← Search

Luca Cardelli

2 accepted papers

2020

Adversarial Robustness Guarantees for Classification with Gaussian Processes

AISTATS 2020poster

We investigate adversarial robustness of Gaussian Process classification (GPC) models. Specifically, given a compact subset of the input space $T\subseteq \mathbb{R}^d$ enclosing a test point $x^*$ and a GPC trained on a dataset $\mathcal{D}$, we aim to compute the minimum and the maximum classifica…

2020

Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control

ICRA 2020poster

Deep neural network controllers for autonomous driving have recently benefited from significant performance improvements, and have begun deployment in the real world. Prior to their widespread adoption, safety guarantees are needed on the controller behaviour that properly take account of the uncert…

Cited by 145SourceScholar