Zhi, D.; Wang, P.; Chen, C.; Zhang, M. Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. AAAI 2024, 38, 19992-20000.