TY  - RPRT
TI  - DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
AU  - Mohammadhosein Hasanbeig
AU  - Natasha Yogananda Jeppu
AU  - Alessandro Abate
AU  - Tom Melham
AU  - Daniel Kroening
PY  - 2021
UR  - https://arxiv.org/abs/1911.10244
ID  - 1911.10244
ER  -