31 citations · 132 across the 17 of their papers we have counts for
5 papers · 1 filter
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…
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control
Rhiannon Michelmore, Matthew Wicker, Luca Laurenti +3
Deep neural network controllers for autonomous driving have recently benefited from significant performance improvements, and have begun deployment in the real world. Prior to thei…
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…
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…
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian +3
This work targets the development of an efficient abstraction method for formal analysis and control synthesis of discrete-time stochastic hybrid systems (SHS) with linear dynamics…