default search action
Luca Laurenti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j14]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334: 104132 (2024) - [j13]Giannis Delimpaltadakis
, Luca Laurenti
Formal Analysis of the Sampling Behavior of Stochastic Event-Triggered Control. IEEE Trans. Autom. Control. 69(7): 4491-4505 (2024) - [c32]Matthew Wicker
Adversarial Robustness Certification for Bayesian Neural Networks. FM (1) 2024: 3-28 - [c31]Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian:
Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances. L4DC 2024: 1633-1645 - [i49]Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti:
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes. CoRR abs/2401.04068 (2024) - [i48]Alessandro Riccardi
A Benchmark for the Application of Distributed Control Techniques to the Electricity Network of the European Economic Area. CoRR abs/2403.14372 (2024) - [i47]Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification. CoRR abs/2403.15626 (2024) - [i46]Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian:
Piecewise Stochastic Barrier Functions. CoRR abs/2404.16986 (2024) - [i45]Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian:
Data-Driven Permissible Safe Control with Barrier Certificates. CoRR abs/2405.00136 (2024) - [i44]Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian:
Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances. CoRR abs/2406.09704 (2024) - [i43]Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti:
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection. CoRR abs/2407.18707 (2024) - [i42]Robert Reed, Luca Laurenti, Morteza Lahijanian:
Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification. CoRR abs/2408.09033 (2024) - [i41]Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Luca Laurenti, Alessandro Abate:
A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution. CoRR abs/2410.06662 (2024) - [i40]Chun-Wei Kong, Luca Laurenti, Jay McMahon, Morteza Lahijanian:
Error Bounds for Deep Learning-based Uncertainty Propagation in SDEs. CoRR abs/2410.22371 (2024) - 2023
- [j12]Frederik Baymler Mathiesen
Safety Certification for Stochastic Systems via Neural Barrier Functions. IEEE Control. Syst. Lett. 7: 973-978 (2023) - [j11]John Skovbekk
Formal Abstraction of General Stochastic Systems via Noise Partitioning. IEEE Control. Syst. Lett. 7: 3711-3716 (2023) - [j10]Robert Reed
Promises of Deep Kernel Learning for Control Synthesis. IEEE Control. Syst. Lett. 7: 3986-3991 (2023) - [j9]Shadi Ghiasi
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States. IEEE J. Biomed. Health Informatics 27(8): 3721-3730 (2023) - [c30]Frederik Baymler Mathiesen
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design. CDC 2023: 3073-3080 - [c29]Ibon Gracia
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. HSCC 2023: 11:1-11:10 - [c28]Giannis Delimpaltadakis
Interval Markov Decision Processes with Continuous Action-Spaces. HSCC 2023: 12:1-12:10 - [c27]Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. ICML 2023: 133-151 - [i39]Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti:
Inner approximations of stochastic programs for data-driven stochastic barrier function design. CoRR abs/2304.04505 (2023) - [i38]Alice Doherty, Matthew Wicker, Luca Laurenti, Andrea Patane:
Individual Fairness in Bayesian Neural Networks. CoRR abs/2304.10828 (2023) - [i37]Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti:
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming. CoRR abs/2306.10742 (2023) - [i36]Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska:
Adversarial Robustness Certification for Bayesian Neural Networks. CoRR abs/2306.13614 (2023) - [i35]Robert Reed, Luca Laurenti, Morteza Lahijanian:
Promises of Deep Kernel Learning for Control Synthesis. CoRR abs/2309.06569 (2023) - [i34]John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Formal Abstraction of General Stochastic Systems via Noise Partitioning. CoRR abs/2309.10702 (2023) - [i33]Luca Laurenti, Morteza Lahijanian:
Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming. CoRR abs/2310.01802 (2023) - [i32]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR abs/2310.01951 (2023) - 2022
- [j8]Steven Adams
Formal Control Synthesis for Stochastic Neural Network Dynamic Models. IEEE Control. Syst. Lett. 6: 2858-2863 (2022) - [j7]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. J. Mach. Learn. Res. 23: 146:1-146:55 (2022) - [j6]Max Whitby
PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67(2): 1023-1030 (2022) - [c26]Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska:
Individual Fairness Guarantees for Neural Networks. IJCAI 2022: 651-658 - [c25]Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian:
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. NeurIPS 2022 - [i31]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression. CoRR abs/2201.00655 (2022) - [i30]Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.:
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control. CoRR abs/2202.10178 (2022) - [i29]Steven Adams, Morteza Lahijanian, Luca Laurenti:
Formal Control Synthesis for Stochastic Neural Network Dynamic Models. CoRR abs/2203.05903 (2022) - [i28]Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska:
Individual Fairness Guarantees for Neural Networks. CoRR abs/2205.05763 (2022) - [i27]Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti:
Safety Certification for Stochastic Systems via Neural Barrier Functions. CoRR abs/2206.01463 (2022) - [i26]Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian:
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. CoRR abs/2206.07811 (2022) - [i25]Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti
On the Robustness of Bayesian Neural Networks to Adversarial Attacks. CoRR abs/2207.06154 (2022) - [i24]Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti:
Interval Markov Decision Processes with Continuous Action-Spaces. CoRR abs/2211.01231 (2022) - [i23]Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.:
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. CoRR abs/2212.14260 (2022) - 2021
- [j5]Luca Cardelli
A Language for Modeling and Optimizing Experimental Biological Protocols. Comput. 9(10): 107 (2021) - [j4]Luca Laurenti
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 66(1): 17-32 (2021) - [c24]Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska:
Bayesian Inference with Certifiable Adversarial Robustness. AISTATS 2021: 2431-2439 - [c23]Giannis Delimpaltadakis
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. CDC 2021: 1287-1294 - [c22]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. CDC 2021: 2232-2239 - [c21]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Strategy synthesis for partially-known switched stochastic systems. HSCC 2021: 6:1-6:11 - [c20]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of iterative predictions in Bayesian neural networks. UAI 2021: 1713-1723 - [i22]Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska:
Bayesian Inference with Certifiable Adversarial Robustness. CoRR abs/2102.05289 (2021) - [i21]Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.:
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems. CoRR abs/2103.13839 (2021) - [i20]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Strategy Synthesis for Partially-known Switched Stochastic Systems. CoRR abs/2104.02172 (2021) - [i19]Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska:
Adversarial Robustness Guarantees for Gaussian Processes. CoRR abs/2104.03180 (2021) - [i18]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of Iterative Predictions in Bayesian Neural Networks. CoRR abs/2105.10134 (2021) - [i17]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression. CoRR abs/2110.05525 (2021) - 2020
- [c19]Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts:
Adversarial Robustness Guarantees for Classification with Gaussian Processes. AISTATS 2020: 3372-3382 - [c18]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. CDC 2020: 860-866 - [c17]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: 3187-3193 - [c16]Shadi Ghiasi, Andrea Patanè, Alberto Greco
Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition. EMBC 2020: 54-57 - [c15]Emanuele La Malfa
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. EMNLP (Findings) 2020: 2949-2968 - [c14]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: 7344-7350 - [c13]Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti:
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. NeurIPS 2020 - [c12]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. UAI 2020: 1198-1207 - [i16]Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti:
Robustness of Bayesian Neural Networks to Gradient-Based Attacks. CoRR abs/2002.04359 (2020) - [i15]John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian:
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression. CoRR abs/2004.01821 (2020) - [i14]Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska:
Probabilistic Safety for Bayesian Neural Networks. CoRR abs/2004.10281 (2020) - [i13]Emanuele La Malfa
Assessing Robustness of Text Classification through Maximal Safe Radius Computation. CoRR abs/2010.02004 (2020) - [i12]Matthew Yuan, Matthew Wicker, Luca Laurenti:
Gradient-Free Adversarial Attacks for Bayesian Neural Networks. CoRR abs/2012.12640 (2020)
2010 – 2019
- 2019
- [j3]Luca Bortolussi
Central Limit Model Checking. ACM Trans. Comput. Log. 20(4): 19:1-19:35 (2019) - [c11]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. AAAI 2019: 7759-7768 - [c10]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. CDC 2019: 8372-8379 - [c9]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC 2019: 240-251 - [c8]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti
Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI 2019: 5693-5700 - [i11]Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR abs/1901.01576 (2019) - [i10]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR abs/1903.01980 (2019) - [i9]Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski:
PID Control of Biochemical Reaction Networks. CoRR abs/1903.10390 (2019) - [i8]Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts:
Robustness Quantification for Classification with Gaussian Processes. CoRR abs/1905.11876 (2019) - [i7]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 abs/1909.09884 (2019) - [i6]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 abs/1912.00071 (2019) - 2018
- [j2]Luca Cardelli
Programming discrete distributions with chemical reaction networks. Nat. Comput. 17(1): 131-145 (2018) - [c7]Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CMSB 2018: 165-182 - [i5]Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti:
Central Limit Model Checking. CoRR abs/1804.08744 (2018) - [i4]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane:
Robustness Guarantees for Bayesian Inference with Gaussian Processes. CoRR abs/1809.06452 (2018) - 2017
- [c6]Luca Cardelli
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) 2017: 375-395 - [c5]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: 55-64 - [i3]Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CoRR abs/1710.08016 (2017) - 2016
- [j1]Luca Cardelli
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation. Biosyst. 149: 26-33 (2016) - [c4]Luca Cardelli
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. CMSB 2016: 147-167 - [c3]Luca Cardelli
Programming Discrete Distributions with Chemical Reaction Networks. DNA 2016: 35-51 - [c2]Luca Bortolussi
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. QEST 2016: 72-88 - [i2]Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti:
Programming Discrete Distributions with Chemical Reaction Networks. CoRR abs/1601.02578 (2016) - 2015
- [c1]Luca Cardelli
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CMSB 2015: 64-76 - [i1]Luca Laurenti, Luca Cardelli, Marta Z. Kwiatkowska:
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. CoRR abs/1506.07861 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: