Luca Laurenti

Identifiers

• name variant Luca Laurenti 0.60 · backfill

Papers (11)

1. Stochastic Barrier Certificates in the Presence of Dynamic Obstacles cs.RO · 2026 · author #2
2. Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization eess.SY · 2026 · author #3
3. Verification of Unknown Dynamical Systems via Autoencoder Latent Space cs.LG · 2025 · author #2
4. Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation cs.LG · 2025 · author #4
5. PID Control of Biochemical Reaction Networks cs.SY · 2019 · author #4
6. Statistical Guarantees for the Robustness of Bayesian Neural Networks cs.LG · 2019 · author #3
7. Robustness Guarantees for Bayesian Inference with Gaussian Processes cs.LG · 2018 · author #3
8. Central Limit Model Checking cs.LO · 2018 · author #4
9. Experimental Biological Protocols with Formal Semantics cs.PL · 2017 · author #4
10. Programming Discrete Distributions with Chemical Reaction Networks cs.DC · 2016 · author #3
11. Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation cs.LO · 2015 · author #1

Mentions

• 2512.13593 #2 · arxiv_oai · confidence 0.70 Luca Laurenti

Frequent Coauthors

• Luca Cardelli 7 shared papers
• Marta Kwiatkowska 7 shared papers
• Alessandro Abate 3 shared papers
• Andrea Patane 2 shared papers
• Morteza Lahijanian 2 shared papers
• Thom Badings 2 shared papers
• Alessandro Riccardi 1 shared papers
• Bart De Schutter 1 shared papers
• Boyan Yordanov 1 shared papers
• Frederik Baymler Mathiesen 1 shared papers
• Luca Bortolussi 1 shared papers
• Matthew Wicker 1 shared papers
• Max Tschaikowski 1 shared papers
• Max Whitby 1 shared papers
• Mirco Tribastone 1 shared papers
• Nicola Paoletti 1 shared papers
• Nikolaus Vertovec 1 shared papers
• Rayan Mazouz 1 shared papers
• Robert Reed 1 shared papers