Luca Laurenti

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 89

Top Topics

Formal Analysis

Chemical Reaction

Top Venues

IEEE Control. Syst. Lett.

Publications

Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian
Data-Driven Permissible Safe Control with Barrier Certificates. CoRR (2024)
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo
Formal Analysis of the Sampling Behavior of Stochastic Event-Triggered Control. IEEE Trans. Autom. Control. 69 (7) (2024)
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian
Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances. CoRR (2024)
Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. CoRR (2024)
Alessandro Riccardi, Luca Laurenti, Bart De Schutter
A Benchmark for the Application of Distributed Control Techniques to the Electricity Network of the European Economic Area. CoRR (2024)
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian
Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances. L4DC (2024)
Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian
Piecewise Stochastic Barrier Functions. CoRR (2024)
Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. CoRR (2024)
Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. CoRR (2024)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334 (2024)
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. ICML (2023)
Luca Laurenti, Morteza Lahijanian
Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming. CoRR (2023)
Frederik Baymler Mathiesen, Licio Romao, Simeon Craig Calvert, Alessandro Abate, Luca Laurenti
Inner approximations of stochastic programs for data-driven stochastic barrier function design. CoRR (2023)
Robert Reed, Luca Laurenti, Morteza Lahijanian
Promises of Deep Kernel Learning for Control Synthesis. CoRR (2023)
Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
Interval Markov Decision Processes with Continuous Action-Spaces. HSCC (2023)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR (2023)
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. CoRR (2023)
Alice Doherty, Matthew Wicker, Luca Laurenti, Andrea Patane
Individual Fairness in Bayesian Neural Networks. CoRR (2023)
Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska
Adversarial Robustness Certification for Bayesian Neural Networks. CoRR (2023)
Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco, Marta Kwiatkowska
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. IEEE J. Biomed. Health Informatics 27 (8) (2023)
Frederik Baymler Mathiesen, Simeon Craig Calvert, Luca Laurenti
Safety Certification for Stochastic Systems via Neural Barrier Functions. IEEE Control. Syst. Lett. 7 (2023)
John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
Formal Abstraction of General Stochastic Systems via Noise Partitioning. IEEE Control. Syst. Lett. 7 (2023)
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. HSCC (2023)
Frederik Baymler Mathiesen, Licio Romao, Simeon Craig Calvert, Alessandro Abate, Luca Laurenti
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. CDC (2023)
Robert Reed, Luca Laurenti, Morteza Lahijanian
Promises of Deep Kernel Learning for Control Synthesis. IEEE Control. Syst. Lett. 7 (2023)
John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
Formal Abstraction of General Stochastic Systems via Noise Partitioning. CoRR (2023)
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska
Adversarial Robustness Guarantees for Gaussian Processes. J. Mach. Learn. Res. 23 (2022)
Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
Interval Markov Decision Processes with Continuous Action-Spaces. CoRR (2022)
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control. CoRR (2022)
John Jackson, Luca Laurenti, Eric Frew, Morteza Lahijanian
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. CoRR (2022)
Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. NeurIPS (2022)
Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. CoRR (2022)
Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
Individual Fairness Guarantees for Neural Networks. CoRR (2022)
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. CoRR (2022)
Frederik Baymler Mathiesen, Simeon Calvert, Luca Laurenti
Safety Certification for Stochastic Systems via Neural Barrier Functions. CoRR (2022)
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67 (2) (2022)
Steven Adams, Morteza Lahijanian, Luca Laurenti
Formal Control Synthesis for Stochastic Neural Network Dynamic Models. IEEE Control. Syst. Lett. 6 (2022)
Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
On the Robustness of Bayesian Neural Networks to Adversarial Attacks. CoRR (2022)
Steven Adams, Morteza Lahijanian, Luca Laurenti
Formal Control Synthesis for Stochastic Neural Network Dynamic Models. CoRR (2022)
Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
Individual Fairness Guarantees for Neural Networks. IJCAI (2022)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
A Language for Modeling and Optimizing Experimental Biological Protocols. Comput. 9 (10) (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska
Bayesian Inference with Certifiable Adversarial Robustness. CoRR (2021)
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
Strategy Synthesis for Partially-known Switched Stochastic Systems. CoRR (2021)
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. CoRR (2021)
Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 66 (1) (2021)
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
Strategy synthesis for partially-known switched stochastic systems. HSCC (2021)
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. CDC (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska
Bayesian Inference with Certifiable Adversarial Robustness. AISTATS (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Certification of Iterative Predictions in Bayesian Neural Networks. CoRR (2021)
John Jackson, Luca Laurenti, Eric Frew, Morteza Lahijanian
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. CoRR (2021)
John Jackson, Luca Laurenti, Eric Frew, Morteza Lahijanian
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. CDC (2021)
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska
Adversarial Robustness Guarantees for Gaussian Processes. CoRR (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
Certification of iterative predictions in Bayesian neural networks. UAI (2021)
Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
Probabilistic Safety for Bayesian Neural Networks. CoRR (2020)
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. CoRR (2020)
Shadi Ghiasi, Andrea Patanè, Alberto Greco, Luca Laurenti, Enzo Pasquale Scilingo, Marta Z. Kwiatkowska
Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. EMBC (2020)
Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR (2020)
Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
Adversarial Robustness Guarantees for Classification with Gaussian Processes. AISTATS (2020)
Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS (2020)
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. CDC (2020)
Matthew Yuan, Matthew Wicker, Luca Laurenti
Gradient-Free Adversarial Attacks for Bayesian Neural Networks. CoRR (2020)
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC (2020)
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. CoRR (2020)
Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
Probabilistic Safety for Bayesian Neural Networks. UAI (2020)
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. EMNLP (Findings) (2020)
Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. ICRA (2020)
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
Safety Guarantees for Planning Based on Iterative Gaussian Processes. CoRR (2019)
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. CoRR (2019)
Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. CoRR (2019)
Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
Robustness Quantification for Classification with Gaussian Processes. CoRR (2019)
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Central Limit Model Checking. ACM Trans. Comput. Log. 20 (4) (2019)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI (2019)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI (2019)
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR (2019)
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC (2019)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR (2019)
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. CDC (2019)
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Central Limit Model Checking. CoRR (2018)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
Robustness Guarantees for Bayesian Inference with Gaussian Processes. CoRR (2018)
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
Experimental Biological Protocols with Formal Semantics. CMSB (2018)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Programming discrete distributions with chemical reaction networks. Nat. Comput. 17 (1) (2018)
Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC (2017)
Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) (2017)
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
Experimental Biological Protocols with Formal Semantics. CoRR (2017)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. Biosyst. 149 (2016)
Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
Programming Discrete Distributions with Chemical Reaction Networks. CoRR (2016)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Programming Discrete Distributions with Chemical Reaction Networks. DNA (2016)
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. QEST (2016)
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. CMSB (2016)
Luca Laurenti, Luca Cardelli, Marta Z. Kwiatkowska
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CoRR (2015)
Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CMSB (2015)