Mungojerrie: Reinforcement Learning of Linear-Time Objectives.

Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi 0001 Dominik Wojtczak Mungojerrie: Reinforcement Learning of Linear-Time Objectives. 2021 abs/2106.09161 CoRR https://arxiv.org/abs/2106.09161 db/journals/corr/corr2106.html#abs-2106-09161