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]

Authors

Weidi Sun

This author has not been identified. Look up 'Weidi Sun' in Google

Yuteng Lu

This author has not been identified. Look up 'Yuteng Lu' in Google

Xiyue Zhang

This author has not been identified. Look up 'Xiyue Zhang' in Google

Meng Sun 0002

This author has not been identified. Look up 'Meng Sun 0002' in Google