DeepSynth: Automata synthesis for automatic task segmentation in deep reinforcement learning (Proceedings of the AAAI Conference on Artificial Intelligence, 2021)

(untitled) - Hasanbeig, M; Yogananda Jeppu, N; Abate, A; Melham, TF; Kroening, D