Halfdan Holm

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Formal Verification

Reinforcement Learning

Markov Decision Processes

Top Venues

Publications

Rohan Subramani, Marcus Williams, Max Heitmann, Halfdan Holm, Charlie Griffin, Joar Max Viktor Skalse
On the Expressivity of Objective-Specification Formalisms in Reinforcement Learning. ICLR (2024)
Rohan Subramani, Marcus Williams, Max Heitmann, Halfdan Holm, Charlie Griffin, Joar Skalse
On The Expressivity of Objective-Specification Formalisms in Reinforcement Learning. CoRR (2023)