Thomas A. Henzinger
8 papers · 2021–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(22)
🏆
Keyword Champion
(2)
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Machine Learning
(6)
Deep Learning
(4)
Optimization & Theory · Machine Learning
(4)
Mathematics & Optimization
(3)
Architectures
(2)
Optimization
(2)
Optimization & Theory · Deep Learning
(2)
Reinforcement Learning
(1)
Robotics
(1)
Application Areas
(1)
Applications
(1)
Learning Types
(1)
Mathematics
(1)
Keywords
formal verification
(4)
neural network
(3)
stochastic control
(2)
control policy
(2)
runtime monitoring
(2)
quantized neural network
(2)
neural network verification
(2)
optimal control
(1)
global optimization
(1)
adversarial robustness
(1)
stochastic system
(1)
dynamical system
(1)
reach-avoid problem
(1)
complexity analysis
(1)
autonomous system
(1)
smt solver
(1)
barrier function
(1)
smt solving
(1)
lyapunov function
(1)
algorithmic fairness
(1)
Papers
Fairness Shields: Safeguarding against Biased Decision Makers
AAAI 2025
Neural Control and Certificate Repair via Runtime Monitoring
AAAI 2025
Predictive Monitoring of Black-Box Dynamical Systems
L4DC 2025
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees
AAAI 2023
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
AAAI 2023
GoTube: Scalable Statistical Verification of Continuous-Depth Models
AAAI 2022
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
AAAI 2022
Scalable Verification of Quantized Neural Networks
AAAI 2021