Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking

Yi Dong, Xingyu Zhao 0001, Xiaowei Huang 0001. Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022, Kyoto, Japan, October 23-27, 2022. pages 5171-5178, IEEE, 2022. [doi]

Abstract

Abstract is missing.