Thomas Henzinger
2 papers
· 2021–2023
· 1 conference
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(15)
Conferences
NIPS (2)
Top co-authors
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)