research
∙
09/20/2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks
Artificial intelligence (AI) has been advancing at a fast pace and it is...
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
∙
05/05/2023
On Preimage Approximation for Neural Networks
Neural network verification mainly focuses on local robustness propertie...
research
∙
05/02/2023
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees
Linear Temporal Logic (LTL) is widely used to specify high-level objecti...
research
∙
04/17/2023
Compositional Probabilistic and Causal Inference using Tractable Circuit Models
Probabilistic circuits (PCs) are a class of tractable probabilistic mode...
research
∙
11/28/2022
Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation
This report summarises the outcomes of a systematic literature search to...
research
∙
11/11/2022
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
Stochastic games are a convenient formalism for modelling systems that c...
research
∙
10/12/2022
When are Local Queries Useful for Robust Learning?
Distributional assumptions have been shown to be necessary for the robus...
research
∙
10/08/2022
Robustness of Unsupervised Representation Learning without Labels
Unsupervised representation learning leverages large unlabeled datasets ...
research
∙
06/05/2022
Learning Dynamics and Generalization in Reinforcement Learning
Solving a reinforcement learning (RL) problem poses two competing challe...
research
∙
05/12/2022
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks
A fundamental problem in adversarial machine learning is to quantify how...
research
∙
05/11/2022
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits
In many domains, worst-case guarantees on the performance (e.g., predict...
research
∙
05/11/2022
Individual Fairness Guarantees for Neural Networks
We consider the problem of certifying the individual fairness (IF) of fe...
research
∙
04/29/2022
Tractable Uncertainty for Structure Learning
Bayesian structure learning allows one to capture uncertainty over the c...
research
∙
01/24/2022
Correlated Equilibria and Fairness in Concurrent Stochastic Games
Game-theoretic techniques and equilibria analysis facilitate the design ...
research
∙
12/13/2021
The King is Naked: on the Notion of Robustness for Natural Language Processing
There is growing evidence that the classical notion of adversarial robus...
research
∙
11/20/2021
Probabilistic Model Checking and Autonomy
Design and control of autonomous systems that operate in uncertain or ad...
research
∙
08/25/2021
Backdoor Attacks on Network Certification via Data Poisoning
Certifiers for neural networks have made great progress towards provable...
research
∙
05/21/2021
Certification of Iterative Predictions in Bayesian Neural Networks
We consider the problem of computing reach-avoid probabilities for itera...
research
∙
05/19/2021
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions
Robustness of decision rules to shifts in the data-generating process is...
research
∙
05/08/2021
On Guaranteed Optimal Robust Explanations for NLP Models
We build on abduction-based explanations for ma-chine learning and devel...
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
∙
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
∙
08/11/2020
Automatic Verification of Concurrent Stochastic Systems
Automated verification techniques for stochastic games allow formal reas...
research
∙
07/07/2020
Multi-player Equilibria Verification for Concurrent Stochastic Games
Concurrent stochastic games (CSGs) are an ideal formalism for modelling ...
research
∙
05/01/2020
On the Benefits of Invariance in Neural Networks
Many real world data analysis problems exhibit invariant structure, and ...
research
∙
04/21/2020
Probabilistic Safety for Bayesian Neural Networks
We study probabilistic safety for Bayesian Neural Networks (BNNs) under ...
research
∙
03/12/2020
Invariant Causal Prediction for Block MDPs
Generalization across environments is critical to the successful applica...
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
∙
09/12/2019
On the Hardness of Robust Classification
It is becoming increasingly important to understand the vulnerability of...
research
∙
07/22/2019
Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture
Research into safety in autonomous and semi-autonomous vehicles has, so ...
research
∙
06/28/2019
Robustness Guarantees for Deep Neural Networks on Videos
The widespread adoption of deep learning models places demands on their ...
research
∙
06/21/2019
Verification and Control of Turn-Based Probabilistic Real-Time Games
Quantitative verification techniques have been developed for the formal ...
research
∙
05/28/2019
Robustness Quantification for Classification with Gaussian Processes
We consider Bayesian classification with Gaussian processes (GPs) and de...
research
∙
05/16/2019
Reasoning about Cognitive Trust in Stochastic Multiagent Systems
We consider the setting of stochastic multiagent systems modelled as sto...
research
∙
04/01/2019
Robustness of 3D Deep Learning in an Adversarial Setting
Understanding the spatial arrangement and nature of real-world objects i...
research
∙
03/05/2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks
We introduce a probabilistic robustness measure for Bayesian Neural Netw...
research
∙
12/18/2018
Safety and Trustworthiness of Deep Neural Networks: A Survey
In the past few years, significant progress has been made on deep neural...
research
∙
11/17/2018
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games
Probabilistic model checking for stochastic games enables formal verific...
research
∙
11/16/2018
Evaluating Uncertainty Quantification in End-to-End Autonomous Driving Control
A rise in popularity of Deep Neural Networks (DNNs), attributed to more ...
research
∙
09/17/2018
Robustness Guarantees for Bayesian Inference with Gaussian Processes
Bayesian inference and Gaussian processes are widely used in application...
research
∙
07/10/2018
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
Despite the improved accuracy of deep neural networks, the discovery of ...
research
∙
05/06/2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees
Verifying correctness of deep neural networks (DNNs) is challenging. We ...
research
∙
04/30/2018
Concolic Testing for Deep Neural Networks
Concolic testing alternates between CONCrete program execution and symbO...
research
∙
04/23/2018
Central Limit Model Checking
We consider probabilistic model checking for continuous-time Markov chai...
research
∙
04/16/2018
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm
Deployment of deep neural networks (DNNs) in safety or security-critical...
research
∙
10/22/2017
Experimental Biological Protocols with Formal Semantics
Both experimental and computational biology is becoming increasingly aut...
research
∙
10/21/2017