Thomas A. Henzinger
8 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
๐ Conference Polyglot (2) ๐ Renaissance Researcher (6) ๐ Interdisciplinary Bridge ๐บ๏ธ Taxonomy Completionist (21) ๐งญ Keyword Pioneer
๐
Cross-Pollinator
(15)
Conferences
AAAI (7)
L4DC (1)
Top co-authors
Research topics
Keywords
formal verification
(4)
neural network
(3)
stochastic control
(2)
neural network verification
(2)
quantized neural network
(2)
control policy
(2)
optimal control
(1)
global optimization
(1)
adversarial robustness
(1)
stochastic system
(1)
control barrier function
(1)
reach-avoid problem
(1)
complexity analysis
(1)
barrier function
(1)
smt solving
(1)
autonomous system
(1)
smt solver
(1)
lyapunov function
(1)
algorithmic fairness
(1)
reinforcement learning
(1)
Papers
Predictive Monitoring of Black-Box Dynamical Systems
L4DC 2025
Fairness Shields: Safeguarding against Biased Decision Makers
AAAI 2025
Neural Control and Certificate Repair via Runtime Monitoring
AAAI 2025
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
AAAI 2023
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees
AAAI 2023
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
AAAI 2022
GoTube: Scalable Statistical Verification of Continuous-Depth Models
AAAI 2022
Scalable Verification of Quantized Neural Networks
AAAI 2021