Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning.

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

Browse the full TACAS paper archive.