Luca Laurenti

128 papers A* 8A 5B 1Journal 84Unranked 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions.
IEEE Trans. Autom. Control.
Luca Laurenti, Morteza Lahijanian
2026 J jnl
Efficient Distribution Learning with Error Bounds in Wasserstein Distance.
CoRR
Eduardo Figueiredo, Steven Adams, Luca Laurenti
2026 J jnl
Evaluating randomized smoothing as a defense against adversarial attacks in trajectory prediction.
CoRR
Julian F. Schumann, Eduardo Figueiredo, Frederik Baymler Mathiesen, Luca Laurenti, Jens Kober, Arkady Zgonnikov
2026 J jnl
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection.
J. Mach. Learn. Res.
Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti
2026 J jnl
Partitioning techniques for non-centralized predictive control: A systematic review and novel theoretical insights.
Annu. Rev. Control.
Alessandro Riccardi, Luca Laurenti, Bart De Schutter
2026 J jnl
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis.
CoRR
Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian
2026 J jnl
Time-Varying Reach-Avoid Control Certificates for Stochastic Systems.
CoRR
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
2025 — conf
A benchmark for multi-agent control of energy systems: The European economic area hybrid electricity network benchmark.
ECC
Alessandro Riccardi, Luca Laurenti, Bart De Schutter
2025 J jnl
A general partitioning strategy for non-centralized control.
CoRR
Alessandro Riccardi, Luca Laurenti, Bart De Schutter
2025 J jnl
Certified Neural Approximations of Nonlinear Dynamics.
CoRR
Frederik Baymler Mathiesen, Nikolaus Vertovec, Francesco Fabiano, Luca Laurenti, Alessandro Abate
2025 J jnl
Efficient Uncertainty Propagation with Guarantees in Wasserstein Distance.
CoRR
Eduardo Figueiredo, Steven Adams, Peyman Mohajerin Esfahani, Luca Laurenti
2025 A* conf
Error Bounds for Gaussian Process Regression Under Bounded Support Noise with Applications to Safety Certification.
AAAI
Robert Reed, Luca Laurenti, Morteza Lahijanian
2025 A conf
Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs.
UAI
Chun-Wei Kong, Luca Laurenti, Jay W. McMahon, Morteza Lahijanian
2025 — conf
Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise.
CDC
Steven Adams, Eduardo Figueiredo, Luca Laurenti
2025 J jnl
Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise.
CoRR
Steven Adams, Eduardo Figueiredo, Luca Laurenti
2025 J jnl
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression.
IEEE Trans. Autom. Control.
John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2025 — conf
Memory-dependent abstractions of stochastic systems through the lens of transfer operators.
HSCC
Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo, Raphaël M. Jungers
2025 J jnl
Memory-dependent abstractions of stochastic systems through the lens of transfer operators.
CoRR
Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr., Raphaël M. Jungers
2025 J jnl
On the Robustness of Bayesian Neural Networks to Adversarial Attacks.
IEEE Trans. Neural Networks Learn. Syst.
Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
2025 J jnl
Partitioning techniques for non-centralized predictive control: A systematic review and novel theoretical insights.
CoRR
Alessandro Riccardi, Luca Laurenti, Bart De Schutter
2025 — conf
Piecewise Control Barrier Functions for Stochastic Systems.
CDC
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
2025 J jnl
Piecewise Control Barrier Functions for Stochastic Systems.
CoRR
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
2025 J jnl
Scalable Formal Verification via Autoencoder Latent Space Abstraction.
CoRR
Robert Reed, Luca Laurenti, Morteza Lahijanian
2025 J jnl
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation.
CoRR
Nikolaus Vertovec, Frederik Baymler Mathiesen, Thom Badings, Luca Laurenti, Alessandro Abate
2025 — conf
Scalable control synthesis for stochastic systems via structural IMDP abstractions.
HSCC
Frederik Baymler Mathiesen, Sofie Haesaert, Luca Laurenti
2025 — conf
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances.
L4DC
Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian
2025 J jnl
discretize_distributions: Efficient Quantization of Gaussian Mixtures with Guarantees in Wasserstein Distance.
CoRR
Steven Adams, Elize Alwash, Luca Laurenti
2024 J jnl
A Benchmark for the Application of Distributed Control Techniques to the Electricity Network of the European Economic Area.
CoRR
Alessandro Riccardi, Luca Laurenti, Bart De Schutter
2024 — conf
A Generalized Partitioning Strategy for Distributed Control.
CDC
Alessandro Riccardi, Luca Laurenti, Bart De Schutter
2024 J jnl
A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution.
CoRR
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Luca Laurenti, Alessandro Abate
2024 — conf
Adversarial Robustness Certification for Bayesian Neural Networks.
FM (1)
Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska
2024 — conf
Data-Driven Permissible Safe Control with Barrier Certificates.
CDC
Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian
2024 J jnl
Data-Driven Permissible Safe Control with Barrier Certificates.
CoRR
Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen, Eric W. Frew, Luca Laurenti, Morteza Lahijanian
2024 J jnl
Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances.
CoRR
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian
2024 — conf
Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances.
L4DC
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Morteza Lahijanian
2024 J jnl
Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification.
CoRR
Robert Reed, Luca Laurenti, Morteza Lahijanian
2024 J jnl
Error Bounds for Deep Learning-based Uncertainty Propagation in SDEs.
CoRR
Chun-Wei Kong, Luca Laurenti, Jay W. McMahon, Morteza Lahijanian
2024 J jnl
Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection.
CoRR
Steven Adams, Andrea Patanè, Morteza Lahijanian, Luca Laurenti
2024 J jnl
Formal Analysis of the Sampling Behavior of Stochastic Event-Triggered Control.
IEEE Trans. Autom. Control.
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo
2024 — conf
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes.
ADHS
Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
2024 J jnl
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes.
CoRR
Frederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti
2024 J jnl
Piecewise Stochastic Barrier Functions.
CoRR
Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza Lahijanian
2024 J jnl
Probabilistic reach-avoid for Bayesian neural networks.
Artif. Intell.
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2024 J jnl
Scalable control synthesis for stochastic systems via structural IMDP abstractions.
CoRR
Frederik Baymler Mathiesen, Sofie Haesaert, Luca Laurenti
2024 J jnl
Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances.
CoRR
Ibon Gracia, Luca Laurenti, Manuel Mazo Jr., Alessandro Abate, Morteza Lahijanian
2024 — conf
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification.
CDC
Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2024 J jnl
Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification.
CoRR
Eduardo Figueiredo, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2023 J jnl
Adversarial Robustness Certification for Bayesian Neural Networks.
CoRR
Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska
2023 A* conf
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.
ICML
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2023 J jnl
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming.
CoRR
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti
2023 — conf
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems.
HSCC
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.
2023 J jnl
Formal Abstraction of General Stochastic Systems via Noise Partitioning.
CoRR
John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2023 J jnl
Formal Abstraction of General Stochastic Systems via Noise Partitioning.
IEEE Control. Syst. Lett.
John Skovbekk, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2023 J jnl
Individual Fairness in Bayesian Neural Networks.
CoRR
Alice Doherty, Matthew Wicker, Luca Laurenti, Andrea Patane
2023 — conf
Inner Approximations of Stochastic Programs for Data-Driven Stochastic Barrier Function Design.
CDC
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti
2023 J jnl
Inner approximations of stochastic programs for data-driven stochastic barrier function design.
CoRR
Frederik Baymler Mathiesen, Licio Romao, Simeon C. Calvert, Alessandro Abate, Luca Laurenti
2023 — conf
Interval Markov Decision Processes with Continuous Action-Spaces.
HSCC
Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
2023 J jnl
Physiologically-Informed Gaussian Processes for Interpretable Modelling of Psycho-Physiological States.
IEEE J. Biomed. Health Informatics
Shadi Ghiasi, Andrea Patane, Luca Laurenti, Claudio Gentili, Enzo Pasquale Scilingo, Alberto Greco, Marta Kwiatkowska
2023 J jnl
Probabilistic Reach-Avoid for Bayesian Neural Networks.
CoRR
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2023 J jnl
Promises of Deep Kernel Learning for Control Synthesis.
CoRR
Robert Reed, Luca Laurenti, Morteza Lahijanian
2023 J jnl
Promises of Deep Kernel Learning for Control Synthesis.
IEEE Control. Syst. Lett.
Robert Reed, Luca Laurenti, Morteza Lahijanian
2023 J jnl
Safety Certification for Stochastic Systems via Neural Barrier Functions.
IEEE Control. Syst. Lett.
Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti
2023 J jnl
Unifying Safety Approaches for Stochastic Systems: From Barrier Functions to Uncertain Abstractions via Dynamic Programming.
CoRR
Luca Laurenti, Morteza Lahijanian
2022 J jnl
Adversarial Robustness Guarantees for Gaussian Processes.
J. Mach. Learn. Res.
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen Roberts, Marta Kwiatkowska
2022 J jnl
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems.
CoRR
Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr.
2022 J jnl
Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control.
CoRR
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.
2022 J jnl
Formal Control Synthesis for Stochastic Neural Network Dynamic Models.
CoRR
Steven Adams, Morteza Lahijanian, Luca Laurenti
2022 J jnl
Formal Control Synthesis for Stochastic Neural Network Dynamic Models.
IEEE Control. Syst. Lett.
Steven Adams, Morteza Lahijanian, Luca Laurenti
2022 J jnl
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression.
CoRR
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2022 A* conf
Individual Fairness Guarantees for Neural Networks.
IJCAI
Elias Benussi, Andrea Patanè, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
2022 J jnl
Individual Fairness Guarantees for Neural Networks.
CoRR
Elias Benussi, Andrea Patane, Matthew Wicker, Luca Laurenti, Marta Kwiatkowska
2022 J jnl
Interval Markov Decision Processes with Continuous Action-Spaces.
CoRR
Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti
2022 J jnl
On the Robustness of Bayesian Neural Networks to Adversarial Attacks.
CoRR
Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker
2022 J jnl
PID Control of Biochemical Reaction Networks.
IEEE Trans. Autom. Control.
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2022 J jnl
Safety Certification for Stochastic Systems via Neural Barrier Functions.
CoRR
Frederik Baymler Mathiesen, Simeon C. Calvert, Luca Laurenti
2022 A* conf
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.
NeurIPS
Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian
2022 J jnl
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.
CoRR
Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian
2021 J jnl
A Language for Modeling and Optimizing Experimental Biological Protocols.
Comput.
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2021 — conf
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems.
CDC
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo
2021 J jnl
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems.
CoRR
Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr.
2021 J jnl
Adversarial Robustness Guarantees for Gaussian Processes.
CoRR
Andrea Patane, Arno Blaas, Luca Laurenti, Luca Cardelli, Stephen J. Roberts, Marta Kwiatkowska
2021 A conf
Bayesian Inference with Certifiable Adversarial Robustness.
AISTATS
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhuotong Chen, Zheng Zhang, Marta Kwiatkowska
2021 J jnl
Bayesian Inference with Certifiable Adversarial Robustness.
CoRR
Matthew Wicker, Luca Laurenti, Andrea Patane, Zhoutong Chen, Zheng Zhang, Marta Kwiatkowska
2021 J jnl
Certification of Iterative Predictions in Bayesian Neural Networks.
CoRR
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2021 A conf
Certification of iterative predictions in Bayesian neural networks.
UAI
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska
2021 J jnl
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes.
IEEE Trans. Autom. Control.
Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska
2021 J jnl
Strategy Synthesis for Partially-known Switched Stochastic Systems.
CoRR
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2021 — conf
Strategy synthesis for partially-known switched stochastic systems.
HSCC
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2021 — conf
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression.
CDC
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2021 J jnl
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression.
CoRR
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2020 A conf
Adversarial Robustness Guarantees for Classification with Gaussian Processes.
AISTATS
Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
2020 — conf
Assessing Robustness of Text Classification through Maximal Safe Radius Computation.
EMNLP (Findings)
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
2020 J jnl
Assessing Robustness of Text Classification through Maximal Safe Radius Computation.
CoRR
Emanuele La Malfa, Min Wu, Luca Laurenti, Benjie Wang, Anthony Hartshorn, Marta Kwiatkowska
2020 — conf
Gaussian Processes with Physiologically-Inspired Priors for Physical Arousal Recognition.
EMBC
Shadi Ghiasi, Andrea Patanè, Alberto Greco, Luca Laurenti, Enzo Pasquale Scilingo, Marta Z. Kwiatkowska
2020 J jnl
Gradient-Free Adversarial Attacks for Bayesian Neural Networks.
CoRR
Matthew Yuan, Matthew Wicker, Luca Laurenti
2020 A conf
Probabilistic Safety for Bayesian Neural Networks.
UAI
Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
2020 J jnl
Probabilistic Safety for Bayesian Neural Networks.
CoRR
Matthew Wicker, Luca Laurenti, Andrea Patane, Marta Kwiatkowska
2020 A* conf
Robustness of Bayesian Neural Networks to Gradient-Based Attacks.
NeurIPS
Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patané, Luca Bortolussi, Guido Sanguinetti
2020 J jnl
Robustness of Bayesian Neural Networks to Gradient-Based Attacks.
CoRR
Ginevra Carbone, Matthew Wicker, Luca Laurenti, Andrea Patane, Luca Bortolussi, Guido Sanguinetti
2020 — conf
Safety Guarantees for Iterative Predictions with Gaussian Processes.
CDC
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
2020 — conf
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression.
CDC
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2020 J jnl
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression.
CoRR
John Jackson, Luca Laurenti, Eric W. Frew, Morteza Lahijanian
2020 A* conf
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control.
ICRA
Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
2019 J jnl
Central Limit Model Checking.
ACM Trans. Comput. Log.
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2019 J jnl
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems.
CoRR
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019 — conf
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems.
HSCC
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli
2019 — conf
PID Control of Biochemical Reaction Networks.
CDC
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019 J jnl
PID Control of Biochemical Reaction Networks.
CoRR
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019 A* conf
Robustness Guarantees for Bayesian Inference with Gaussian Processes.
AAAI
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
2019 J jnl
Robustness Quantification for Classification with Gaussian Processes.
CoRR
Arno Blaas, Luca Laurenti, Andrea Patane, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts
2019 J jnl
Safety Guarantees for Planning Based on Iterative Gaussian Processes.
CoRR
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts
2019 A* conf
Statistical Guarantees for the Robustness of Bayesian Neural Networks.
IJCAI
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019 J jnl
Statistical Guarantees for the Robustness of Bayesian Neural Networks.
CoRR
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker
2019 J jnl
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control.
CoRR
Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska
2018 J jnl
Central Limit Model Checking.
CoRR
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2018 — conf
Experimental Biological Protocols with Formal Semantics.
CMSB
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
2018 J jnl
Programming discrete distributions with chemical reaction networks.
Nat. Comput.
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2018 J jnl
Robustness Guarantees for Bayesian Inference with Gaussian Processes.
CoRR
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane
2017 J jnl
Experimental Biological Protocols with Formal Semantics.
CoRR
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
2017 — conf
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision.
HSCC
Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska
2017 — conf
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.
CAV (2)
Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby
2016 — conf
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation.
CMSB
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016 — conf
Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation.
QEST
Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016 B conf
Programming Discrete Distributions with Chemical Reaction Networks.
DNA
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2016 J jnl
Programming Discrete Distributions with Chemical Reaction Networks.
CoRR
Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
2016 J jnl
Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation.
Biosyst.
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
2015 — conf
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation.
CMSB
Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti
2015 J jnl
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation.
CoRR
Luca Laurenti, Luca Cardelli, Marta Z. Kwiatkowska