Thomas A. Henzinger

2
papers
2
total citations

papers (2)

Neural Control and Certificate Repair via Runtime Monitoring

AAAI 2025arXiv
2
citations

Fairness Shields: Safeguarding against Biased Decision Makers

AAAI 2025arXiv
0
citations