特奥多拉·巴卢塔 Shiqi Shen公司 Shweta Shinde公司 库尔德普·S·梅尔 Prateek Saxena公司 神经网络的定量验证及其安全应用。 1249-1264 2019 CCS系统 https://doi.org/10.1145/3319535.3354245 conf/ccs/2019 db/conf/ccs/ccs2019.html#BalutaSSMS19