[1]
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 (May 2021), 7647-7656.