Matthias Althoff
6 papers
· 2024–2026
· 5 conferences
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Conference Polyglot
(5)
π
Cross-Pollinator
(6)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(13)
Conferences
AAAI (2)
CORL (1)
ICML (1)
JMLR (1)
NIPS (1)
Top co-authors
Keywords
policy gradient
(2)
conformal prediction
(1)
uncertainty quantification
(1)
formal verification
(1)
entropy estimation
(1)
continuous action space
(1)
neural network verification
(1)
proximal policy optimization
(1)
action masking
(1)
control task
(1)
action space
(1)
coverage guarantee
(1)
stochastic policy
(1)
polynomial zonotope
(1)
formal neural network verification
(1)
order reduction
(1)
zonotope enclosure
(1)
continuous action masking
(1)
truncated distribution
(1)
action-constrained reinforcement learning
(1)