Zhi, D. (2024) “Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales”, Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), pp. 19992–20000. doi: 10.1609/aaai.v38i18.29976.