M. Schäffeler and M. Abdulaziz, “Formally Verified Approximate Policy Iteration”, AAAI, vol. 39, no. 25, pp. 26659–26667, Apr. 2025.