Dependability Analysis and Verification Technology of Artificial Intelligence Software. - Yaming Zhang; Lijin Wu; Xiaomei Shen; Zehua Shen; Tongli Tang (QRS Companion, 2022)