Schäffeler M, Abdulaziz M. Formally Verified Approximate Policy Iteration. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 13];39(25):26659-67. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/34868