Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning.

Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

Browse the full TACAS paper archive.