TY  - RPRT
TI  - A Survey on the Verification of Reinforcement Learning Policies
AU  - Luca Marzari
AU  - Ezio Bartocci
AU  - Enrico Marchesini
PY  - 2026
UR  - https://arxiv.org/abs/2607.16210
ID  - 2607.16210
ER  -