research
∙
08/01/2023
Monitoring Algorithmic Fairness under Partial Observations
As AI and machine-learned software are used increasingly for making deci...
share
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
∙
01/18/2023
Computing Adequately Permissive Assumptions for Synthesis
We solve the problem of automatically computing a new class of environme...
research
∙
02/15/2022
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
We consider fixpoint algorithms for two-player games on graphs with ω-re...
research
∙
01/04/2021