| 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 | 161 | 2022 |
| 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 | 160 | 2020 |
| 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 | 104 | 2020 |
| Probabilistic safety for bayesian neural networks M Wicker, L Laurenti, A Patane, M Kwiatkowska Conference on uncertainty in artificial intelligence, 1198-1207, 2020 | 78 | 2020 |
| Stochastic analysis of chemical reaction networks using linear noise approximation L Cardelli, M Kwiatkowska, L Laurenti Biosystems 149, 26-33, 2016 | 78 | 2016 |
| 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 | 77 | 2019 |
| 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 | 74 | 2019 |
| Safety certification for stochastic systems via neural barrier functions FB Mathiesen, SC Calvert, L Laurenti IEEE Control Systems Letters 7, 973-978, 2022 | 68 | 2022 |
| 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 | 68 | 2019 |
| 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 | 67 | 2021 |
| 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 | 48 | 2021 |
| 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 | 43 | 2020 |
| Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions M Rayan, M Karan, R Akash, L Luca, L Morteza Conference on Neural Information Processing Systems, 2022 | 40* | 2022 |
| 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 | 39 | 2020 |
| Syntax-guided optimal synthesis for chemical reaction networks L Cardelli, M Češka, M Fränzle, M Kwiatkowska, L Laurenti, N Paoletti, ... International Conference on Computer Aided Verification, 375-395, 2017 | 37 | 2017 |
| 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 | 34 | 2022 |
| 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 | 33* | 2020 |
| Formal control synthesis for stochastic neural network dynamic models S Adams, M Lahijanian, L Laurenti IEEE Control Systems Letters 6, 2858-2863, 2022 | 32 | 2022 |
| A Bayesian defect-based physics-guided neural network model for probabilistic fatigue endurance limit evaluation A Tognan, A Patanè, L Laurenti, E Salvati Computer Methods in Applied Mechanics and Engineering 418, 116521, 2024 | 30 | 2024 |
| Strategy synthesis for partially-known switched stochastic systems J Jackson, L Laurenti, E Frew, M Lahijanian Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 30 | 2021 |
