TY - RPRT TI - Mungojerrie: Reinforcement Learning of Linear-Time Objectives AU - Ernst Moritz Hahn AU - Mateo Perez AU - Sven Schewe AU - Fabio Somenzi AU - Ashutosh Trivedi AU - Dominik Wojtczak PY - 2021 UR - https://arxiv.org/abs/2106.09161 ID - 2106.09161 ER -