Laurenti, Luca

15 publications

AAAI 2025 Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification Robert Reed, Luca Laurenti, Morteza Lahijanian

UAI 2025 Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs Chun-Wei Kong, Luca Laurenti, Jay McMahon, Morteza Lahijanian

L4DC 2025 Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Ibon Gracia, Luca Laurenti, Manuel Mazo Jr, Alessandro Abate, Morteza Lahijanian

L4DC 2024 Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian

ICML 2023 BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti

JMLR 2022 Adversarial Robustness Guarantees for Gaussian Processes Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska

IJCAI 2022 Individual Fairness Guarantees for Neural Networks Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska

NeurIPS 2022 Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions Rayan Mazouz, Karan Muvvala, Akash Ratheesh Babu, Luca Laurenti, Morteza Lahijanian

AISTATS 2021 Bayesian Inference with Certifiable Adversarial Robustness Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska

UAI 2021 Certification of Iterative Predictions in Bayesian Neural Networks Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

AISTATS 2020 Adversarial Robustness Guarantees for Classification with Gaussian Processes Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen Roberts

UAI 2020 Probabilistic Safety for Bayesian Neural Networks Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska

NeurIPS 2020 Robustness of Bayesian Neural Networks to Gradient-Based Attacks Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane', Luca Bortolussi, Guido Sanguinetti

AAAI 2019 Robustness Guarantees for Bayesian Inference with Gaussian Processes Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane

IJCAI 2019 Statistical Guarantees for the Robustness of Bayesian Neural Networks Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker