Details for the publication LiLYCHZ19.

Jianlin Li (), Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang (), Lijun Zhang: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. In Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, volume 11822 of Lecture Notes in Computer Science, pages 296-319, 2019. DOI BIB