Hasanbeig, M.; Yogananda Jeppu, N.; Abate, A.; Melham, T.; Kroening, D. DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. AAAI 2021, 35, 7647-7656.