HASANBEIG, M.; YOGANANDA JEPPU, N.; ABATE, A.; MELHAM, T.; KROENING, D. DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 35, n. 9, p. 7647-7656, 2021. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/16935. Acesso em: 26 oct. 2021.