@misc{indiciae5cb972586ec2,
  title = {A Survey on the Verification of Reinforcement Learning Policies},
  author = {Luca Marzari and Ezio Bartocci and Enrico Marchesini},
  year = {2026},
  url = {https://arxiv.org/abs/2607.16210},
  note = {Source identifier: 2607.16210}
}