research
∙
08/07/2023
Monitoring Hyperproperties With Prefix Transducers
Hyperproperties are properties that relate multiple execution traces. Pr...
share
research
∙
08/01/2023
Monitoring Algorithmic Fairness under Partial Observations
As AI and machine-learned software are used increasingly for making deci...
research
∙
05/25/2023
Monitoring Algorithmic Fairness
Machine-learned systems are in widespread use for making decisions about...
research
∙
05/08/2023
Runtime Monitoring of Dynamic Fairness Properties
A machine-learned system that is fair in static decision-making tasks ma...
research
∙
04/06/2023
History-deterministic Timed Automata
We explore the notion of history-determinism in the context of timed aut...
research
∙
01/26/2023
Quantitative Safety and Liveness
Safety and liveness are elementary concepts of computation, and the foun...
research
∙
11/29/2022
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
We study the problem of training and certifying adversarially robust qua...
research
∙
10/11/2022
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
We study the problem of learning controllers for discrete-time non-linea...
research
∙
10/11/2022
Learning Control Policies for Region Stabilization in Stochastic Systems
We consider the problem of learning control policies in stochastic syste...
research
∙
10/09/2022
Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap
There is an ever-growing zoo of modern neural network models that can ef...
research
∙
06/02/2022
Entangled Residual Mappings
Residual mappings have been shown to perform representation learning in ...
research
∙
05/24/2022
Learning Stabilizing Policies in Stochastic Control Systems
In this work, we address the problem of learning provably stable neural ...
research
∙
04/15/2022
Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning
Adversarial training (i.e., training on adversarially perturbed input da...
research
∙
12/17/2021
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
We consider the problem of formally verifying almost-sure (a.s.) asympto...
research
∙
11/04/2021
Infinite Time Horizon Safety of Bayesian Neural Networks
Bayesian neural networks (BNNs) place distributions over the weights of ...
research
∙
07/18/2021
GoTube: Scalable Stochastic Verification of Continuous-Depth Models
We introduce a new stochastic verification algorithm that formally quant...
research
∙
05/18/2021
Quantitative and Approximate Monitoring
In runtime verification, a monitor watches a trace of a system and, if p...
research
∙
05/05/2021
Flavours of Sequential Information Flow
Information-flow policies prescribe which information is available to a ...
research
∙
03/15/2021
Adversarial Training is Not Ready for Robot Learning
Adversarial training is an effective method to train deep learning model...
research
∙
12/15/2020
Scalable Verification of Quantized Neural Networks (Technical Report)
Formal verification of neural networks is an active topic of research, a...
research
∙
09/14/2020
Into the unknown: Active monitoring of neural networks
Machine-learning techniques achieve excellent performance in modern appl...
research
∙
05/25/2020
Formal Methods with a Touch of Magic
Machine learning and formal methods have complimentary benefits and draw...
research
∙
02/15/2020
Information-Flow Interfaces
Contract-based design is a promising methodology for taming the complexi...
research
∙
11/20/2019
Outside the Box: Abstraction-Based Monitoring of Neural Networks
Neural networks have demonstrated unmatched performance in a range of cl...
research
∙
10/14/2019
Monitoring Event Frequencies
The monitoring of event frequencies can be used to recognize behavioral ...
research
∙
05/09/2019
Bidding Mechanisms in Graph Games
In two-player games on graphs, the players move a token through a graph ...
research
∙
05/09/2019
Determinacy in Discrete-Bidding Infinite-Duration Games
In two-player games on graphs, the players move a token through a graph ...
research
∙
04/15/2019
Compositional Specifications for ioco Testing
Model-based testing is a promising technology for black-box software and...
research
∙
04/12/2018
Infinite-Duration Poorman-Bidding Games
In two-player games on graphs, the players move a token through a graph ...
research
∙
07/04/2012
