甄亮 德金仁 刘万伟 纪旺0001 杨文静0002 白雪0001 基于集边界分析的神经网络安全性验证。 248-267 2023 TASE公司 https://doi.org/10.1007/978-3-031-35257-7_15 conf/tase/2023 db/conf/tase/tase2023.html#LiangRL00023