DeepGlobal: A Framework for Global Robustness Verification of Feedforward Neural Networks

Published in Journal of Systems Architecture, 2022

Recommended citation: Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun. "DeepGlobal: A Framework for Global Robustness Verification of Feedforward Neural Networks." Journal of Systems Architecture. vol. 128, 2022. https://doi.org/10.1016/j.sysarc.2022.102582