Tag
This survey provides a unifying perspective on verification methods for reinforcement learning policies, introducing a taxonomy along three axes (verification paradigm, temporal scope, and guarantee strength) and identifying emerging directions.