Schäffeler, M.; Abdulaziz, M. Formally Verified Approximate Policy Iteration. AAAI 2025, 39, 26659-26667.