Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales

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]

Authors

Dapeng Zhi

This author has not been identified. Look up 'Dapeng Zhi' in Google

Peixin Wang

This author has not been identified. Look up 'Peixin Wang' in Google

Cheng Chen

This author has not been identified. Look up 'Cheng Chen' in Google

Min Zhang

This author has not been identified. Look up 'Min Zhang' in Google