Verma, A. Verifiable and Interpretable Reinforcement Learning through Program Synthesis. AAAI 2019, 33, 9902-9903.