19 citations · 23 across the 11 of their papers we have counts for
5 papers · 1 filter
Alignment Monitoring
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh +1
Formal verification provides assurances that a probabilistic system satisfies its specification--conditioned on the system model being aligned with reality. We propose alignment mo…
Algorithmic Fairness: A Runtime Perspective
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
Fairness in AI is traditionally studied as a static property evaluated once, over a fixed dataset. However, real-world AI systems operate sequentially, with outcomes and environmen…
Formal Verification of Neural Certificates Done Dynamically
Thomas A. Henzinger, Konstantin Kueffner, Emily Yu
Neural certificates have emerged as a powerful tool in cyber-physical systems control, providing witnesses of correctness. These certificates, such as barrier functions, often lear…
Monitoring of Static Fairness
Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner +1
Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive att…
Monitoring Robustness and Individual Fairness
Ashutosh Gupta, Thomas A. Henzinger, Konstantin Kueffner +2
Input-output robustness appears in various different forms in the literature, such as robustness of AI models to adversarial or semantic perturbations and individual fairness of AI…