Hasanbeig, M., Yogananda Jeppu, N., Abate, A., Melham, T. and Kroening, D. (2021) “DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(9), pp. 7647-7656. doi: 10.1609/aaai.v35i9.16935.