Hasanbeig, M. et al. 2021. DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 9 (May 2021), 7647–7656. DOI:https://doi.org/10.1609/aaai.v35i9.16935.