Zhi, D., Wang, P., Chen, C., & Zhang, M. (2024). Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), 19992–20000. https://doi.org/10.1609/aaai.v38i18.29976