A Survey on the Verification of Reinforcement Learning Policies

Luca Marzari, Ezio Bartocci, Enrico Marchesini

Reinforcement learning (RL) is increasingly applied in complex, safety-critical domains, yet the lack of rigorous behavioral guarantees for neural network-based policies remains a…