Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang. Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. In Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, editors, Thirty-Eigth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pages 19992-20000, AAAI Press, 2024. [doi]
Abstract is missing.