Follow
Luca Laurenti
Luca Laurenti
Verified email at tudelft.nl - Homepage
Title
Cited by
Cited by
Year
Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
R Michelmore, M Wicker, L Laurenti, L Cardelli, Y Gal, M Kwiatkowska
2020 IEEE international conference on robotics and automation (ICRA), 7344-7350, 2020
962020
Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
R Michelmore, M Wicker, L Laurenti, L Cardelli, Y Gal, M Kwiatkowska
2020 IEEE international conference on robotics and automation (ICRA), 7344-7350, 2020
962020
Robustness of bayesian neural networks to gradient-based attacks
G Carbone, M Wicker, L Laurenti, A Patane, L Bortolussi, G Sanguinetti
Advances in Neural Information Processing Systems 33, 15602-15613, 2020
772020
Stochastic analysis of chemical reaction networks using linear noise approximation
L Cardelli, M Kwiatkowska, L Laurenti
Biosystems 149, 26-33, 2016
672016
Statistical guarantees for the robustness of Bayesian neural networks
L Cardelli, M Kwiatkowska, L Laurenti, N Paoletti, A Patane, M Wicker
International Joint Conference on Artificial Intelligence (IJCAI), 2019
652019
Robustness guarantees for Bayesian inference with Gaussian processes
L Cardelli, M Kwiatkowska, L Laurenti, A Patane
Proceedings of the AAAI conference on artificial intelligence 33 (01), 7759-7768, 2019
582019
A defect-based physics-informed machine learning framework for fatigue finite life prediction in additive manufacturing
E Salvati, A Tognan, L Laurenti, M Pelegatti, F De Bona
Materials & Design 222, 111089, 2022
512022
Probabilistic safety for bayesian neural networks
M Wicker, L Laurenti, A Patane, M Kwiatkowska
Conference on uncertainty in artificial intelligence, 1198-1207, 2020
502020
Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
N Cauchi, L Laurenti, M Lahijanian, A Abate, M Kwiatkowska, L Cardelli
Proceedings of the 22nd ACM international conference on hybrid systems …, 2019
442019
PID control of biochemical reaction networks
M Whitby, L Cardelli, M Kwiatkowska, L Laurenti, M Tribastone, ...
IEEE Transactions on Automatic Control 67 (2), 1023-1030, 2021
402021
Bayesian inference with certifiable adversarial robustness
M Wicker, L Laurenti, A Patane, Z Chen, Z Zhang, M Kwiatkowska
International Conference on Artificial Intelligence and Statistics, 2431-2439, 2021
352021
Syntax-guided optimal synthesis for chemical reaction networks
L Cardelli, M Češka, M Fränzle, M Kwiatkowska, L Laurenti, N Paoletti, ...
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
342017
Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
L Laurenti, M Lahijanian, A Abate, L Cardelli, M Kwiatkowska
IEEE Transactions on Automatic Control 66 (1), 17-32, 2020
312020
Adversarial robustness guarantees for classification with gaussian processes
A Blaas, A Patane, L Laurenti, L Cardelli, M Kwiatkowska, S Roberts
International Conference on Artificial Intelligence and Statistics, 3372-3382, 2020
29*2020
A stochastic hybrid approximation for chemical kinetics based on the linear noise approximation
L Cardelli, M Kwiatkowska, L Laurenti
Computational Methods in Systems Biology: 14th International Conference …, 2016
242016
Safety verification of unknown dynamical systems via gaussian process regression
J Jackson, L Laurenti, E Frew, M Lahijanian
2020 59th IEEE Conference on Decision and Control (CDC), 860-866, 2020
222020
Molecular filters for noise reduction
L Laurenti, A Csikasz-Nagy, M Kwiatkowska, L Cardelli
Biophysical Journal 114 (12), 3000-3011, 2018
222018
Safety certification for stochastic systems via neural barrier functions
FB Mathiesen, SC Calvert, L Laurenti
IEEE Control Systems Letters 7, 973-978, 2022
192022
Assessing robustness of text classification through maximal safe radius computation
E La Malfa, M Wu, L Laurenti, B Wang, A Hartshorn, M Kwiatkowska
Proceedings of the 2020 Conference on Empirical Methods in Natural Language …, 2020
192020
Safety guarantees for planning based on iterative gaussian processes
K Polymenakos, L Laurenti, A Patane, JP Calliess, L Cardelli, ...
59th IEEE Conference on Decision and Control (CDC 2020), 2019
19*2019
The system can't perform the operation now. Try again later.
Articles 1–20