research
∙
09/12/2023
Promises of Deep Kernel Learning for Control Synthesis
Deep Kernel Learning (DKL) combines the representational power of neural...
share
research
∙
06/23/2023
Adversarial Robustness Certification for Bayesian Neural Networks
We study the problem of certifying the robustness of Bayesian neural net...
research
∙
06/19/2023
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
In this paper, we introduce BNN-DP, an efficient algorithmic framework f...
research
∙
04/21/2023
Individual Fairness in Bayesian Neural Networks
We study Individual Fairness (IF) for Bayesian neural networks (BNNs). S...
research
∙
11/02/2022
Interval Markov Decision Processes with Continuous Action-Spaces
Interval Markov Decision Processes (IMDPs) are uncertain Markov models, ...
research
∙
07/13/2022
On the Robustness of Bayesian Neural Networks to Adversarial Attacks
Vulnerability to adversarial attacks is one of the principal hurdles to ...
research
∙
06/15/2022
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Neural Networks (NNs) have been successfully employed to represent the s...
research
∙
06/03/2022
Safety Certification for Stochastic Systems via Neural Barrier Functions
Providing non-trivial certificates of safety for non-linear stochastic s...
research
∙
05/11/2022
Individual Fairness Guarantees for Neural Networks
We consider the problem of certifying the individual fairness (IF) of fe...
research
∙
12/31/2021
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
Leveraging autonomous systems in safety-critical scenarios requires veri...
research
∙
05/21/2021
Certification of Iterative Predictions in Bayesian Neural Networks
We consider the problem of computing reach-avoid probabilities for itera...
research
∙
04/07/2021
Adversarial Robustness Guarantees for Gaussian Processes
Gaussian processes (GPs) enable principled computation of model uncertai...
research
∙
02/10/2021
Bayesian Inference with Certifiable Adversarial Robustness
We consider adversarial training of deep neural networks through the len...
research
∙
12/23/2020
Gradient-Free Adversarial Attacks for Bayesian Neural Networks
The existence of adversarial examples underscores the importance of unde...
research
∙
10/01/2020
Assessing Robustness of Text Classification through Maximal Safe Radius Computation
Neural network NLP models are vulnerable to small modifications of the i...
research
∙
04/21/2020
Probabilistic Safety for Bayesian Neural Networks
We study probabilistic safety for Bayesian Neural Networks (BNNs) under ...
research
∙
02/11/2020
Robustness of Bayesian Neural Networks to Gradient-Based Attacks
Vulnerability to adversarial attacks is one of the principal hurdles to ...
research
∙
11/29/2019
Safety Guarantees for Planning Based on Iterative Gaussian Processes
Gaussian Processes (GPs) are widely employed in control and learning bec...
research
∙
09/21/2019
Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control
Deep neural network controllers for autonomous driving have recently ben...
research
∙
05/28/2019
Robustness Quantification for Classification with Gaussian Processes
We consider Bayesian classification with Gaussian processes (GPs) and de...
research
∙
03/05/2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks
We introduce a probabilistic robustness measure for Bayesian Neural Netw...
research
∙
09/17/2018
Robustness Guarantees for Bayesian Inference with Gaussian Processes
Bayesian inference and Gaussian processes are widely used in application...
research
∙
04/23/2018
Central Limit Model Checking
We consider probabilistic model checking for continuous-time Markov chai...
research
∙
10/22/2017