M. Hasanbeig, N. Yogananda Jeppu, A. Abate, T. Melham, and D. Kroening, “DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning”, AAAI, vol. 35, no. 9, pp. 7647-7656, May 2021.