HASANBEIG, Mohammadhosein; YOGANANDA JEPPU, Natasha; ABATE, Alessandro; MELHAM, Tom; KROENING, Daniel. 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. DOI: 10.1609/aaai.v35i9.16935. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/16935. Acesso em: 31 may. 2026.