Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Yang, Pengfei, Li, Jianlin, Liu, Jiangchao, Huang, Cheng-Chao, Li, Renjue, Chen, Liqian, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Zhang, Lijun
(2021) Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. FORMAL ASPECTS OF COMPUTING, 33 (3). 407 - 435.

This list was generated on Mon Aug 8 08:13:06 2022 BST.