Zhi, Dapeng, et al. “Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 18, Mar. 2024, pp. 19992-00, doi:10.1609/aaai.v38i18.29976.