Alert button
Picture for Luca Laurenti

Luca Laurenti

Alert button

Probabilistic Reach-Avoid for Bayesian Neural Networks

Oct 03, 2023
Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska

Figure 1 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 2 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 3 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Figure 4 for Probabilistic Reach-Avoid for Bayesian Neural Networks
Viaarxiv icon

Promises of Deep Kernel Learning for Control Synthesis

Sep 12, 2023
Robert Reed, Luca Laurenti, Morteza Lahijanian

Figure 1 for Promises of Deep Kernel Learning for Control Synthesis
Figure 2 for Promises of Deep Kernel Learning for Control Synthesis
Figure 3 for Promises of Deep Kernel Learning for Control Synthesis
Figure 4 for Promises of Deep Kernel Learning for Control Synthesis
Viaarxiv icon

Adversarial Robustness Certification for Bayesian Neural Networks

Jun 23, 2023
Matthew Wicker, Andrea Patane, Luca Laurenti, Marta Kwiatkowska

Figure 1 for Adversarial Robustness Certification for Bayesian Neural Networks
Figure 2 for Adversarial Robustness Certification for Bayesian Neural Networks
Figure 3 for Adversarial Robustness Certification for Bayesian Neural Networks
Figure 4 for Adversarial Robustness Certification for Bayesian Neural Networks
Viaarxiv icon

BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming

Jun 19, 2023
Steven Adams, Andrea Patane, Morteza Lahijanian, Luca Laurenti

Figure 1 for BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Figure 2 for BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Figure 3 for BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Figure 4 for BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
Viaarxiv icon

Individual Fairness in Bayesian Neural Networks

Apr 21, 2023
Alice Doherty, Matthew Wicker, Luca Laurenti, Andrea Patane

Figure 1 for Individual Fairness in Bayesian Neural Networks
Figure 2 for Individual Fairness in Bayesian Neural Networks
Viaarxiv icon

Interval Markov Decision Processes with Continuous Action-Spaces

Nov 02, 2022
Giannis Delimpaltadakis, Morteza Lahijanian, Manuel Mazo Jr., Luca Laurenti

Figure 1 for Interval Markov Decision Processes with Continuous Action-Spaces
Figure 2 for Interval Markov Decision Processes with Continuous Action-Spaces
Viaarxiv icon

On the Robustness of Bayesian Neural Networks to Adversarial Attacks

Jul 13, 2022
Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker

Figure 1 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Figure 2 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Figure 3 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Figure 4 for On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Viaarxiv icon

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions

Jun 26, 2022
Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian

Figure 1 for Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Figure 2 for Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Figure 3 for Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Figure 4 for Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Viaarxiv icon

Safety Certification for Stochastic Systems via Neural Barrier Functions

Jun 03, 2022
Frederik Baymler Mathiesen, Simeon Calvert, Luca Laurenti

Figure 1 for Safety Certification for Stochastic Systems via Neural Barrier Functions
Figure 2 for Safety Certification for Stochastic Systems via Neural Barrier Functions
Figure 3 for Safety Certification for Stochastic Systems via Neural Barrier Functions
Figure 4 for Safety Certification for Stochastic Systems via Neural Barrier Functions
Viaarxiv icon