11 citations · 48 across the 20 of their papers we have counts for
3 papers · 1 filter
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…