12 citations · 31 across the 12 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LG2019
Safety Guarantees for Planning Based on Iterative Gaussian Processes
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane +5
Gaussian Processes (GPs) are widely employed in control and learning because of their principled treatment of uncertainty. However, tracking uncertainty for iterative, multi-step p…
stat.ML2019
Adversarial Robustness Guarantees for Classification with Gaussian Processes
Arno Blaas, Andrea Patane, Luca Laurenti +3
We investigate adversarial robustness of Gaussian Process Classification (GPC) models. Given a compact subset of the input space enclosing a test point $x…
cs.LG2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti +3
We introduce a probabilistic robustness measure for Bayesian Neural Networks (BNNs), defined as the probability that, given a test point, there exists a point within a bounded set…