N. Fulton and A. Platzer, “Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning”, AAAI, vol. 32, no. 1, Apr. 2018.