DeepGlobal: A framework for global robustness verification of feedforward neural networks

Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun 0002. DeepGlobal: A framework for global robustness verification of feedforward neural networks. Journal of Systems Architecture, 128:102582, 2022. [doi]

Abstract

Abstract is missing.