提供者：Schloss Dagstuhl-莱布尼茨信息学中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-220-04175AU-Liang、Zhen阿仁、德金AU-刘万伟AU-Wang、JiAU-Yang、Wenjing阿雪、白TI-基于集边界分析的神经网络安全验证。JO-CoRR公司VL-abs/2210.041752022年上半年//DO-10.448550/网址220.04175UR-（欧元）https://doi.org/10.48550/arXiv.2210.04175急诊室-