Zhi, Dapeng, Peixin Wang, Cheng Chen, and Min Zhang. “Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales”. Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 18 (March 24, 2024): 19992–20000. Accessed May 25, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/29976.