Modular Deep Reinforcement Learning with Temporal Logic Specifications. - Lim Zun Yuan; Mohammadhosein Hasanbeig; Alessandro Abate; Daniel Kroening (CoRR, 2019)