赵哲;张业迪;陈广科;宋，傅;陈韬略;刘嘉祥 CLEVEREST公司：通过对抗性攻击加速基于CEGAR的神经网络验证。 （英语） Zbl 1524.68328号 Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 449-473 (2022).MSC公司：68T07型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhao}等人，Lect。注释计算。科学。13790449--473（2022年；Zbl 1524.68328） 全文： 内政部
张业迪;赵哲;陈广科;宋，傅;陈、陶璐 BDD4BNN公司：基于BDD的二值化神经网络定量分析框架。 （英语） 兹比尔1493.68226 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 175-200 (2021).MSC公司：60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人，Lect。注释计算。科学。12759175-200（2021年；Zbl 1493.68226） 全文： 内政部 arXiv公司 OA许可证