On Good-for-MDPs Automata

Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova

Nondeterministic good-for-MDPs (GFM) automata are for MDP model checking and reinforcement learning what good-for-games (GFG) automata are for reactive synthesis: a more compact al…