D. Furelos-Blanco, M. Law, A. Russo, K. Broda, and A. Jonsson, “Induction of Subgoal Automata for Reinforcement Learning”, AAAI, vol. 34, no. 04, pp. 3890-3897, Apr. 2020.