Leon Witzman

collaborators

2 papers

cs.AI2025

Near-Optimal Reinforcement Learning for Constrained Recurrence Objectives

Dominik Wagner, Leon Witzman, Luke Ong

Recurrence objectives, where a target region must be visited infinitely often, are a fundamental class of specifications for Markov decision processes (MDPs) and form the core of $…

cs.LG2024

Reinforcement Learning with LTL and $I ¨ $ -Regular Objectives via Optimality-Preserving Translation to Average Rewards

Xuan-Bach Le, Dominik Wagner, Leon Witzman +2

Linear temporal logic (LTL) and, more generally, $I ¨ $ -regular objectives are alternatives to the traditional discount sum and average reward objectives in reinforcement learning (R…

Near-Optimal Reinforcement Learning for Constrained Recurrence Objectives

Reinforcement Learning with LTL and I¨-Regular Objectives via Optimality-Preserving Translation to Average Rewards

Reinforcement Learning with LTL and $I ¨ $ -Regular Objectives via Optimality-Preserving Translation to Average Rewards