TY  - RPRT
TI  - Formally Verified Approximate Policy Iteration
AU  - Maximilian Schäffeler
AU  - Mohammad Abdulaziz
PY  - 2024
UR  - https://arxiv.org/abs/2406.07340
ID  - 2406.07340
ER  -