Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels. - Wenjie Wan; Zhaodi Zhang; Yiwei Zhu; Min Zhang 002; Fu Song (CoRR, 2020)

Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. - Xingwu Guo; Wenjie Wan; Zhaodi Zhang; Min Zhang 002; Fu Song; Xuejun Wen (ISSRE, 2021)

Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. - Zhaodi Zhang; Yiting Wu; Si Liu 003; Jing Liu 012; Min Zhang 002 (ASE, 2022)

Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices. - Zhaodi Zhang; Jing Liu 012; Min Zhang 002; Haiying Sun (Comput. J., 2022)

DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation. - Yiting Wu; Zhaodi Zhang; Zhiyi Xue; Si Liu 003; Min Zhang 002 (CoRR, 2022)

Boosting Verified Training for Robust Image Classifications via Abstraction. - Zhaodi Zhang; Zhiyi Xue; Yang Chen; Si Liu 003; Yueling Zhang; Jing Liu 012; Min Zhang 002 (CVPR, 2023)

A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. - Zhiyi Xue; Si Liu 003; Zhaodi Zhang; Yiting Wu; Min Zhang 002 (ISSTA, 2023)

Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems. - Zhaodi Zhang; Jing Liu 012; Guanjun Liu; Jiacun Wang; John Zhang (IEEE Trans. Comput. Soc. Syst., 2023)