Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain. - Bingyv Shen; Guangyun Liu; Shaowu Cheng; Xiantong Li; Kui Li; Chen Liang (SAFECOMP Workshops, 2023)