Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001. Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Asp. Comput., 33(3):407-435, 2021. [doi]
@article{YangLLHLCHZ21,
title = {Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation},
author = {Pengfei Yang and Jianlin Li and Jiangchao Liu and Cheng-Chao Huang and Renjue Li and Liqian Chen and Xiaowei Huang 0001 and Lijun Zhang 0001},
year = {2021},
doi = {10.1007/s00165-021-00548-1},
url = {https://doi.org/10.1007/s00165-021-00548-1},
researchr = {https://researchr.org/publication/YangLLHLCHZ21},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {33},
number = {3},
pages = {407-435},
}