Seguir
Luca Laurenti
Luca Laurenti
Dirección de correo verificada de tudelft.nl - Página principal
Título
Citado por
Citado por
Año
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
1092020
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
842020
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
692019
Stochastic analysis of chemical reaction networks using linear noise approximation
L Cardelli, M Kwiatkowska, L Laurenti
Biosystems 149, 26-33, 2016
672016
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
642022
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
612019
Probabilistic safety for bayesian neural networks
M Wicker, L Laurenti, A Patane, M Kwiatkowska
Conference on uncertainty in artificial intelligence, 1198-1207, 2020
562020
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
472021
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
472019
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
392021
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
352017
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
322020
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
Safety certification for stochastic systems via neural barrier functions
FB Mathiesen, SC Calvert, L Laurenti
IEEE Control Systems Letters 7, 973-978, 2022
282022
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
252016
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
242020
Molecular filters for noise reduction
L Laurenti, A Csikasz-Nagy, M Kwiatkowska, L Cardelli
Biophysical Journal 114 (12), 3000-3011, 2018
222018
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
21*2019
Individual fairness guarantees for neural networks
E Benussi, A Patane, M Wicker, L Laurenti, M Kwiatkowska
Proceedings of the Thirty-First International Joint Conference on Artificial …, 2022
202022
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
202020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20