Picture for Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Algorithmic Fairness: A Runtime Perspective

Add code
Jul 28, 2025
Viaarxiv icon

Formal Verification of Neural Certificates Done Dynamically

Add code
Jul 16, 2025
Viaarxiv icon

Logic Gate Neural Networks are Good for Verification

Add code
May 26, 2025
Viaarxiv icon

Predictive Monitoring of Black-Box Dynamical Systems

Add code
Dec 21, 2024
Figure 1 for Predictive Monitoring of Black-Box Dynamical Systems
Figure 2 for Predictive Monitoring of Black-Box Dynamical Systems
Figure 3 for Predictive Monitoring of Black-Box Dynamical Systems
Figure 4 for Predictive Monitoring of Black-Box Dynamical Systems
Viaarxiv icon

Neural Control and Certificate Repair via Runtime Monitoring

Add code
Dec 17, 2024
Figure 1 for Neural Control and Certificate Repair via Runtime Monitoring
Figure 2 for Neural Control and Certificate Repair via Runtime Monitoring
Figure 3 for Neural Control and Certificate Repair via Runtime Monitoring
Figure 4 for Neural Control and Certificate Repair via Runtime Monitoring
Viaarxiv icon

Fairness Shields: Safeguarding against Biased Decision Makers

Add code
Dec 16, 2024
Figure 1 for Fairness Shields: Safeguarding against Biased Decision Makers
Figure 2 for Fairness Shields: Safeguarding against Biased Decision Makers
Figure 3 for Fairness Shields: Safeguarding against Biased Decision Makers
Figure 4 for Fairness Shields: Safeguarding against Biased Decision Makers
Viaarxiv icon

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees

Add code
Dec 03, 2023
Figure 1 for Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Figure 2 for Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Figure 3 for Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Figure 4 for Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Viaarxiv icon

Monitoring Algorithmic Fairness under Partial Observations

Add code
Aug 01, 2023
Viaarxiv icon

Monitoring Algorithmic Fairness

Add code
May 25, 2023
Figure 1 for Monitoring Algorithmic Fairness
Figure 2 for Monitoring Algorithmic Fairness
Viaarxiv icon

Runtime Monitoring of Dynamic Fairness Properties

Add code
May 08, 2023
Figure 1 for Runtime Monitoring of Dynamic Fairness Properties
Figure 2 for Runtime Monitoring of Dynamic Fairness Properties
Figure 3 for Runtime Monitoring of Dynamic Fairness Properties
Viaarxiv icon