11 citations · 48 across the 20 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 3 cited
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…
cs.LO2020
Symblicit Exploration and Elimination for Probabilistic Model Checking
Ernst Moritz Hahn, Arnd Hartmanns
Binary decision diagrams can compactly represent vast sets of states, mitigating the state space explosion problem in model checking. Probabilistic systems, however, require multi-…