Hasanbeig, Mohammadhosein, et al. “DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 9, May 2021, pp. 7647-56, doi:10.1609/aaai.v35i9.16935.