[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, Springer, LNCS 11822, 2019.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-32304-2_15