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]
@article{SunLZS22-1,
title = {DeepGlobal: A framework for global robustness verification of feedforward neural networks},
author = {Weidi Sun and Yuteng Lu and Xiyue Zhang and Meng Sun 0002},
year = {2022},
doi = {10.1016/j.sysarc.2022.102582},
url = {https://doi.org/10.1016/j.sysarc.2022.102582},
researchr = {https://researchr.org/publication/SunLZS22-1},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {128},
pages = {102582},
}