@article{formallyverifiedapproximatepolicy,
  title = {Formally Verified Approximate Policy Iteration},
  author = {Maximilian Schäffeler and Mohammad Abdulaziz},
  year = {2024},
  eprint = {2406.07340},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2406.07340v1},
}