%0 Journal Article %1 journals/tcad/HuangFCLZ20 %A Huang, Chao %A Fan, Jiameng %A Chen, Xin %A Li, Wenchao %A Zhu, Qi %D 2020 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 11 %P 3323-3335 %T Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks. %U http://dblp.uni-trier.de/db/journals/tcad/tcad39.html#HuangFCLZ20 %V 39

@article{journals/tcad/HuangFCLZ20, added-at = {2023-02-01T00:00:00.000+0100}, author = {Huang, Chao and Fan, Jiameng and Chen, Xin and Li, Wenchao and Zhu, Qi}, biburl = {https://www.bibsonomy.org/bibtex/2a7ed2f6b84afc4bfdf02fe1806d4b0fd/dblp}, ee = {https://doi.org/10.1109/TCAD.2020.3013071}, interhash = {86e9078e8ace2563dc95f4337ba3c433}, intrahash = {a7ed2f6b84afc4bfdf02fe1806d4b0fd}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 11, pages = {3323-3335}, timestamp = {2024-04-08T19:46:25.000+0200}, title = {Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad39.html#HuangFCLZ20}, volume = 39, year = 2020 }