Publication

[LiLYCHZ19] Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Li, J.; Liu, J.; Yang, P.; Chen, L.; Huang, X. and Zhang, L. In SAS, pages 296-319, LNCS 11822, 2019.
Downloads: bib