Lim Zun Yuan

Modular Deep Reinforcement Learning with Temporal Logic Specifications pdf

Daniel Kroening, Mohammadhosein Hasanbeig, Alessandro Abate, 2019, ArXiv.