A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (CMSB, 2016)

Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. - Luca Bortolussi; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (QEST, 2016)

Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (Biosyst., 2016)

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. - Luca Cardelli; Milan Ceska 002; Martin Fränzle; Marta Z. Kwiatkowska; Luca Laurenti; Nicola Paoletti; Max Whitby (CAV (2), 2017)

Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. - Luca Laurenti; Alessandro Abate; Luca Bortolussi; Luca Cardelli; Milan Ceska 002; Marta Z. Kwiatkowska (HSCC, 2017)

Experimental Biological Protocols with Formal Semantics. - Alessandro Abate; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Boyan Yordanov (CMSB, 2018)

Programming discrete distributions with chemical reaction networks. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (Nat. Comput., 2018)

Robustness Guarantees for Bayesian Inference with Gaussian Processes. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Andrea Patane (AAAI, 2019)

Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. - Nathalie Cauchi; Luca Laurenti; Morteza Lahijanian; Alessandro Abate; Marta Kwiatkowska; Luca Cardelli (HSCC, 2019)

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

Robustness Quantification for Classification with Gaussian Processes. - Arno Blaas; Luca Laurenti; Andrea Patane; Luca Cardelli; Marta Kwiatkowska; Stephen J. Roberts (CoRR, 2019)

Safety Guarantees for Planning Based on Iterative Gaussian Processes. - Kyriakos Polymenakos; Luca Laurenti; Andrea Patane; Jan-Peter Calliess; Luca Cardelli; Marta Kwiatkowska; Alessandro Abate; Stephen J. Roberts (CoRR, 2019)

Central Limit Model Checking. - Luca Bortolussi; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (ACM Trans. Comput. Log., 2019)

Adversarial Robustness Guarantees for Classification with Gaussian Processes. - Arno Blaas; Andrea Patane; Luca Laurenti; Luca Cardelli; Marta Kwiatkowska; Stephen J. Roberts (AISTATS, 2020)

Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. - John Jackson; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (CDC, 2020)

Safety Guarantees for Iterative Predictions with Gaussian Processes. - Kyriakos Polymenakos; Luca Laurenti; Andrea Patane; Jan-Peter Calliess; Luca Cardelli; Marta Kwiatkowska; Alessandro Abate; Stephen J. Roberts (CDC, 2020)

Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. - Shadi Ghiasi; Andrea Patanè; Alberto Greco 001; Luca Laurenti; Enzo Pasquale Scilingo; Marta Z. Kwiatkowska (EMBC, 2020)

Assessing Robustness of Text Classification through Maximal Safe Radius Computation. - Emanuele La Malfa; Min Wu 011; Luca Laurenti; Benjie Wang 001; Anthony Hartshorn; Marta Kwiatkowska (EMNLP (Findings), 2020)

Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. - Rhiannon Michelmore; Matthew Wicker; Luca Laurenti; Luca Cardelli; Yarin Gal; Marta Kwiatkowska (ICRA, 2020)

Robustness of Bayesian Neural Networks to Gradient-Based Attacks. - Ginevra Carbone; Matthew Wicker; Luca Laurenti; Andrea Patané; Luca Bortolussi; Guido Sanguinetti (NeurIPS, 2020)

Probabilistic Safety for Bayesian Neural Networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Marta Kwiatkowska (UAI, 2020)

Gradient-Free Adversarial Attacks for Bayesian Neural Networks. - Matthew Yuan; Matthew Wicker; Luca Laurenti (CoRR, 2020)

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

Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. - Giannis Delimpaltadakis; Luca Laurenti; Manuel Mazo 002 (CDC, 2021)

Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. - John Jackson; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (CDC, 2021)

Strategy synthesis for partially-known switched stochastic systems. - John Jackson; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (HSCC, 2021)

Certification of iterative predictions in Bayesian neural networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Nicola Paoletti; Alessandro Abate; Marta Kwiatkowska (UAI, 2021)

A Language for Modeling and Optimizing Experimental Biological Protocols. - Luca Cardelli; Marta Kwiatkowska; Luca Laurenti (Comput., 2021)

Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. - Luca Laurenti; Morteza Lahijanian; Alessandro Abate; Luca Cardelli; Marta Kwiatkowska (IEEE Trans. Autom. Control., 2021)

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

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

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. - John Jackson; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (CoRR, 2022)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control. - Giannis Delimpaltadakis; Luca Laurenti; Manuel Mazo Jr. 002 (CoRR, 2022)

Formal Control Synthesis for Stochastic Neural Network Dynamic Models. - Steven Adams; Morteza Lahijanian; Luca Laurenti (IEEE Control. Syst. Lett., 2022)

Adversarial Robustness Guarantees for Gaussian Processes. - Andrea Patane; Arno Blaas; Luca Laurenti; Luca Cardelli; Stephen Roberts 001; Marta Kwiatkowska (J. Mach. Learn. Res., 2022)

PID Control of Biochemical Reaction Networks. - Max Whitby; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Mirco Tribastone; Max Tschaikowski (IEEE Trans. Autom. Control., 2022)

Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. - Frederik Baymler Mathiesen; Licio Romao; Simeon C. Calvert; Alessandro Abate; Luca Laurenti (CDC, 2023)

Interval Markov Decision Processes with Continuous Action-Spaces. - Giannis Delimpaltadakis; Morteza Lahijanian; Manuel Mazo Jr. 002; Luca Laurenti (HSCC, 2023)

Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. - Ibon Gracia; Dimitris Boskos; Luca Laurenti; Manuel Mazo Jr. 002 (HSCC, 2023)

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

Individual Fairness in Bayesian Neural Networks. - Alice Doherty; Matthew Wicker; Luca Laurenti; Andrea Patane (CoRR, 2023)

Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming. - Luca Laurenti; Morteza Lahijanian (CoRR, 2023)

Safety Certification for Stochastic Systems via Neural Barrier Functions. - Frederik Baymler Mathiesen; Simeon C. Calvert; Luca Laurenti (IEEE Control. Syst. Lett., 2023)

Promises of Deep Kernel Learning for Control Synthesis. - Robert Reed; Luca Laurenti; Morteza Lahijanian (IEEE Control. Syst. Lett., 2023)

Formal Abstraction of General Stochastic Systems via Noise Partitioning. - John Skovbekk; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (IEEE Control. Syst. Lett., 2023)

Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. - Shadi Ghiasi; Andrea Patane; Luca Laurenti; Claudio Gentili; Enzo Pasquale Scilingo; Alberto Greco 001; Marta Kwiatkowska (IEEE J. Biomed. Health Informatics, 2023)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. - Frederik Baymler Mathiesen; Morteza Lahijanian; Luca Laurenti (ADHS, 2024)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. - Eduardo Figueiredo 002; Andrea Patane; Morteza Lahijanian; Luca Laurenti (CDC, 2024)

Data-Driven Permissible Safe Control with Barrier Certificates. - Rayan Mazouz; John Skovbekk; Frederik Baymler Mathiesen; Eric W. Frew; Luca Laurenti; Morteza Lahijanian (CDC, 2024)

A Generalized Partitioning Strategy for Distributed Control. - Alessandro Riccardi; Luca Laurenti; Bart De Schutter (CDC, 2024)

Adversarial Robustness Certification for Bayesian Neural Networks. - Matthew Wicker; Andrea Patane; Luca Laurenti; Marta Kwiatkowska (FM (1), 2024)

Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances. - Ibon Gracia; Dimitris Boskos; Luca Laurenti; Morteza Lahijanian (L4DC, 2024)

Probabilistic reach-avoid for Bayesian neural networks. - Matthew Wicker; Luca Laurenti; Andrea Patane; Nicola Paoletti; Alessandro Abate; Marta Kwiatkowska (Artif. Intell., 2024)

A Benchmark for the Application of Distributed Control Techniques to the Electricity Network of the European Economic Area. - Alessandro Riccardi; Luca Laurenti; Bart De Schutter (CoRR, 2024)

Piecewise Stochastic Barrier Functions. - Rayan Mazouz; Frederik Baymler Mathiesen; Luca Laurenti; Morteza Lahijanian (CoRR, 2024)

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. - Steven Adams; Andrea Patanè; Morteza Lahijanian; Luca Laurenti (CoRR, 2024)

A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution. - Frederik Baymler Mathiesen; Licio Romao; Simeon C. Calvert; Luca Laurenti; Alessandro Abate (CoRR, 2024)

Error Bounds for Deep Learning-based Uncertainty Propagation in SDEs. - Chun-Wei Kong; Luca Laurenti; Jay W. McMahon; Morteza Lahijanian (CoRR, 2024)

Formal Analysis of the Sampling Behavior of Stochastic Event-Triggered Control. - Giannis Delimpaltadakis; Luca Laurenti; Manuel Mazo 002 (IEEE Trans. Autom. Control., 2024)

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

Memory-dependent abstractions of stochastic systems through the lens of transfer operators. - Adrien Banse; Giannis Delimpaltadakis; Luca Laurenti; Manuel Mazo 002; Raphaël M. Jungers (HSCC, 2025)

Scalable control synthesis for stochastic systems via structural IMDP abstractions. - Frederik Baymler Mathiesen; Sofie Haesaert; Luca Laurenti (HSCC, 2025)

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

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

A general partitioning strategy for non-centralized control. - Alessandro Riccardi; Luca Laurenti; Bart De Schutter (CoRR, 2025)

On the Robustness of Bayesian Neural Networks to Adversarial Attacks. - Luca Bortolussi; Ginevra Carbone; Luca Laurenti; Andrea Patane; Guido Sanguinetti; Matthew Wicker (IEEE Trans. Neural Networks Learn. Syst., 2025)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise. - Steven Adams; Eduardo Figueiredo 002; Luca Laurenti (CoRR, 2025)

Certified Neural Approximations of Nonlinear Dynamics. - Frederik Baymler Mathiesen; Nikolaus Vertovec; Francesco Fabiano; Luca Laurenti; Alessandro Abate (CoRR, 2025)

Efficient Uncertainty Propagation with Guarantees in Wasserstein Distance. - Eduardo Figueiredo 002; Steven Adams; Peyman Mohajerin Esfahani; Luca Laurenti (CoRR, 2025)

Piecewise Control Barrier Functions for Stochastic Systems. - Rayan Mazouz; Luca Laurenti; Morteza Lahijanian (CoRR, 2025)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. - John Skovbekk; Luca Laurenti; Eric W. Frew; Morteza Lahijanian (IEEE Trans. Autom. Control., 2025)