Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, Qi Zhu 0002. Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. IEEE Trans. on CAD of Integrated Circuits and Systems, 39(11):3323-3335, 2020. [doi]
Abstract is missing.