Henzinger, Thomas A.

9 publications

AAAI 2025 Fairness Shields: Safeguarding Against Biased Decision Makers Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik

AAAI 2025 Neural Control and Certificate Repair via Runtime Monitoring Emily Yu, Dorde Zikelic, Thomas A. Henzinger

L4DC 2025 Predictive Monitoring of Black-Box Dynamical Systems Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, \DJor\dje Žikelić

AAAI 2023 Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee

AAAI 2023 Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus

AAAI 2022 GoTube: Scalable Statistical Verification of Continuous-Depth Models Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu

AAAI 2022 Stability Verification in Stochastic Control Systems via Neural Network Supermartingales Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger

AAAI 2021 Scalable Verification of Quantized Neural Networks Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

UAI 2005 Counterexample-Guided Planning Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar