Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak: Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR abs/2001.05977 (2020)