Thomas A. Henzinger
8 papers
· 2021–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)