Laurenti, Luca
- Safety Certification for Stochastic Systems via Neural Barrier Functions
2022/06/03 by Mathiesen, Frederik Baymler, Calvert, Simeon, Laurenti, Luca · 8 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
2019/01/06 by Nathalie Cauchi, Cauchi, Nathalie, Luca Laurenti +9 · 6 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Uncertainty Quantification with Statistical Guarantees in End-to-End\n Autonomous Driving Control
2019/09/21 by Rhiannon Michelmore, Matthew Wicker, Michelmore, Rhiannon +9 · 3 citations
Engineering · Computer Science · #Autonomous Vehicle Technology and Safety #Adversarial Robustness in Machine Learning #Bayesian Modeling and Causal Inference
- Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
2021/12/31 by Luca Laurenti, Skovbekk, John, Laurenti, Luca +4 · 4 citations
Biochemistry, Genetics and Molecular Biology · Chemistry · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Gene Regulatory Network Analysis #Mass Spectrometry Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
- Formal Control Synthesis for Stochastic Neural Network Dynamic Models
2022/03/11 by Adams, Steven, Lahijanian, Morteza, Laurenti, Luca · 4 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety Verification of Unknown Dynamical Systems via Gaussian Process\n Regression
2020/04/03 by J.D. Jackson, Jackson, John, Luca Laurenti +5 · 2 citations
Computer Science · Engineering · #FOS: Electrical engineering #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Real-time simulation and control systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Individual Fairness Guarantees for Neural Networks
2022/05/11 by Elias Benussi, Andrea Patanè, Benussi, Elias +7 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG)
- A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
2024/10/09 by Mathiesen, Frederik Baymler, Romao, Licio, Calvert, Simeon C. +2 · 4 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
2024/06/14 by Gracia, Ibon, Boskos, Dimitris, Laurenti, Luca +1 · 4 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation
2015/06/24 by Laurenti, Luca, Cardelli, Luca, Kwiatkowska, Marta · 1 citation
#FOS: Biological sciences #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Quantitative Methods (q-bio.QM)
- IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
2024/01/08 by Frederik Baymler Mathiesen, Morteza Lahijanian, Mathiesen, Frederik Baymler +3 · 3 citations
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
2022/06/15 by Rayan Mazouz, Karan Muvvala, Mazouz, Rayan +7 · 3 citations
Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning in Materials Science #Neural Networks and Applications #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Statistical Guarantees for the Robustness of Bayesian Neural Networks
2019/03/05 by Cardelli, Luca, Kwiatkowska, Marta, Laurenti, Luca +3 · 1 citation
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Data-Driven Permissible Safe Control with Barrier Certificates
2024/04/30 by Rayan Mazouz, Mazouz, Rayan, John Skovbekk +9 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Robotics (cs.RO) #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
- Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection
2024/07/26 by Steven Adams, Patanè, Adams, Steven +5 · 3 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications
- Probabilistic Safety for Bayesian Neural Networks
2020/04/21 by Wicker, Matthew, Laurenti, Luca, Patane, Andrea +1 · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Certification of Iterative Predictions in Bayesian Neural Networks
2021/05/21 by Matthew Wicker, Wicker, Matthew, Luca Laurenti +9 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms
- Inner approximations of stochastic programs for data-driven stochastic barrier function design
2023/04/10 by Mathiesen, Frederik Baymler, Romao, Licio, Calvert, Simeon C. +2 · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Modeling Extensive Defects in Metals through Classical Potential-Guided Sampling and Automated Configuration Reconstruction
2024/11/11 by Fei Shuang, Kai Liu, Shuang, Fei +9 · 3 citations
Engineering · Materials Science · #FOS: Physical sciences #Industrial Vision Systems and Defect Detection #Machine Learning in Materials Science #Manufacturing Process and Optimization #Materials Science (cond-mat.mtrl-sci)
- Adversarial Robustness Certification for Bayesian Neural Networks
2023/06/23 by Wicker, Matthew, Patane, Andrea, Laurenti, Luca +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
2024/12/15 by Ibón Gracia, Gracia, Ibon, Luca Laurenti +6 · 4 citations
Engineering · #Advanced Control Systems Optimization
- Formal Abstraction of General Stochastic Systems via Noise Partitioning
2023/09/19 by Skovbekk, John, Laurenti, Luca, Frew, Eric +1 · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
2023/10/03 by Luca Laurenti, Morteza Lahijanian, Laurenti, Luca +1 · 1 citation
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Risk and Portfolio Optimization #Decision-Making and Behavioral Economics
- Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
2024/03/22 by Eduardo Figueiredo, Andrea Patanè, Figueiredo, Eduardo +5 · 1 citation
Computer Science · Mathematics · #Bayesian Methods and Mixture Models #Distributed Sensor Networks and Detection Algorithms #FOS: Electrical engineering #Statistical Methods and Inference #Systems and Control (eess.SY) #electronic engineering #information engineering