Neurosymbolic Reinforcement Learning with Formally Verified Exploration - Anderson, Greg; Verma, Abhinav; Dillig, Isil; Chaudhuri, Swarat (Advances in Neural Information Processing Systems, 2020)