DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

https://arxiv.org/abs/1911.10244