TY  - RPRT
TI  - Modular Deep Reinforcement Learning with Temporal Logic Specifications
AU  - Lim Zun Yuan
AU  - Mohammadhosein Hasanbeig
AU  - Alessandro Abate
AU  - Daniel Kroening
PY  - 2019
UR  - https://arxiv.org/abs/1909.11591
ID  - 1909.11591
ER  -