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

Yi Dong, Xingyu Zhao, Xiaowei Huang

Browse the full IROS paper archive.