TY  - RPRT
TI  - Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking
AU  - Yi Dong
AU  - Xingyu Zhao
AU  - Xiaowei Huang
PY  - 2022
DO  - 10.1109/iros47612.2022.9981794
UR  - https://arxiv.org/abs/2109.06523
ID  - 2109.06523
ER  -