Fulton N, Platzer A. Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. AAAI [Internet]. 2018 Apr. 26 [cited 2026 May 11];32(1). Available from: https://ojs.aaai.org/index.php/AAAI/article/view/12107