D. Zhi, P. Wang, C. Chen, and M. Zhang, “Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales”, AAAI, vol. 38, no. 18, pp. 19992–20000, Mar. 2024.