1.
Hasanbeig M, Yogananda Jeppu N, Abate A, Melham T, Kroening D. DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning. AAAI [Internet]. 2021May18 [cited 2022Jul.3];35(9):7647-56. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/16935