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]

Authors

Yi Dong

This author has not been identified. Look up 'Yi Dong' in Google

Xingyu Zhao 0001

This author has not been identified. Look up 'Xingyu Zhao 0001' in Google

Xiaowei Huang 0001

This author has not been identified. Look up 'Xiaowei Huang 0001' in Google