[Schäffeler and Abdulaziz. "Formally Verified Approximate Policy Iteration." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/schaffeler2025aaai-formally/) doi:10.1609/AAAI.V39I25.34868
@inproceedings{schaffeler2025aaai-formally,
title = {{Formally Verified Approximate Policy Iteration}},
author = {Schäffeler, Maximilian and Abdulaziz, Mohammad},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2025},
pages = {26659-26667},
doi = {10.1609/AAAI.V39I25.34868},
url = {https://mlanthology.org/aaai/2025/schaffeler2025aaai-formally/}
}