A. Verma, “Verifiable and Interpretable Reinforcement Learning through Program Synthesis”, AAAI, vol. 33, no. 01, pp. 9902-9903, Jul. 2019.