Hasanbeig, M., Yogananda Jeppu, N., Abate, A., Melham, T., & Kroening, D. (2021). DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. Proceedings of the AAAI Conference on Artificial Intelligence, 35(9), 7647-7656. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/16935