Furelos-Blanco, D.; Law, M.; Russo, A.; Broda, K.; Jonsson, A. Induction of Subgoal Automata for Reinforcement Learning. AAAI 2020, 34, 3890-3897.