31 citations · 242 across the 55 of their papers we have counts for
14 papers · 1 filter
Omega-Regular Decision Processes
Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3
Regular decision processes (RDPs) are a subclass of non-Markovian decision processes where the transition and reward functions are guarded by some regular property of the past (a l…
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives
E. M. Hahn, M. Perez, S. Schewe +3
Recently, successful approaches have been made to exploit good-for-MDPs automata (Büchi automata with a restricted form of nondeterminism) for model free reinforcement learning, a…
Omega-Regular Objectives in Model-Free Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3
We provide the first solution for model-free reinforcement learning of ω-regular objectives for Markov decision processes (MDPs). We present a constructive reduction from the almos…
Accelerated Model Checking of Parametric Markov Chains
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
Parametric Markov chains occur quite naturally in various applications: they can be used for a conservative analysis of probabilistic systems (no matter how the parameter is chosen…
Incremental Verification of Parametric and Reconfigurable Markov Chains
Paul Gainer, Ernst Moritz Hahn, Sven Schewe
The analysis of parametrised systems is a growing field in verification, but the analysis of parametrised probabilistic systems is still in its infancy. This is partly because it i…
Optimal Control for Multi-Mode Systems with Discrete Costs
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
This paper studies optimal time-bounded control in multi-mode systems with discrete costs. Multi-mode systems are an important subclass of linear hybrid systems, in which there are…