| 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 | 65 | 2020 |
| 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 | 65 | 2020 |
| Stochastic analysis of chemical reaction networks using linear noise approximation L Cardelli, M Kwiatkowska, L Laurenti Biosystems 149, 26-33, 2016 | 61 | 2016 |
| On the Robustness of Bayesian Neural Networks to Adversarial Attacks L Bortolussi, G Carbone, L Laurenti, A Patane, G Sanguinetti, M Wicker arXiv preprint arXiv:2207.06154, 2022 | 51* | 2022 |
| 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 | 51 | 2019 |
| 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 | 50 | 2019 |
| Probabilistic safety for bayesian neural networks M Wicker, L Laurenti, A Patane, M Kwiatkowska Conference on uncertainty in artificial intelligence, 1198-1207, 2020 | 38 | 2020 |
| 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 | 37 | 2019 |
| 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 | 36 | 2017 |
| Programming discrete distributions with chemical reaction networks L Cardelli, M Kwiatkowska, L Laurenti Natural computing 17, 131-145, 2018 | 29 | 2018 |
| 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 | 28 | 2020 |
| 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 | 26 | 2021 |
| 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 | 25* | 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 | 23 | 2016 |
| 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 | 22 | 2021 |
| Molecular filters for noise reduction L Laurenti, A Csikasz-Nagy, M Kwiatkowska, L Cardelli Biophysical Journal 114 (12), 3000-3011, 2018 | 21 | 2018 |
| 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 | 17 | 2020 |
| Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation L Bortolussi, L Cardelli, M Kwiatkowska, L Laurenti Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016 | 16 | 2016 |
| 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 | 14* | 2019 |
| Central limit model checking L Bortolussi, L Cardelli, M Kwiatkowska, L Laurenti ACM Transactions on Computational Logic (TOCL) 20 (4), 1-35, 2019 | 14 | 2019 |
