Thomas Henzinger
2 papers · 2021–2023 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
Conferences
NIPS (2)
Keywords
reinforcement learning
(2)
posterior sampling
(1)
compositional learning
(1)
formal verification
(1)
stochastic control
(1)
safety verification
(1)
bayesian neural network
(1)
neural network policy
(1)
safety certificate
(1)
compositional policy
(1)
reach-avoid specification
(1)
infinite time horizon
(1)
reach-avoid supermartingale
(1)