Picture for Luca Laurenti

Luca Laurenti

TU Delft

Data-Driven Permissible Safe Control with Barrier Certificates

Add code
Apr 30, 2024
Viaarxiv icon

Piecewise Stochastic Barrier Functions

Add code
Apr 29, 2024
Viaarxiv icon

Probabilistic Reach-Avoid for Bayesian Neural Networks

Add code
Oct 03, 2023
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

Add code
Sep 12, 2023
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

Add code
Jun 23, 2023
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

Add code
Jun 19, 2023
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

Add code
Apr 21, 2023
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

Add code
Nov 02, 2022
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

Add code
Jul 13, 2022
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

Add code
Jun 26, 2022
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