Publication

[YangLLHLCHZ21] Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation Yang, P.; Li, J.; Liu, J.; Huang, C.-C.; Li, R.; Chen, L.; Huang, X. and Zhang, L. In Formal Aspects Comput., 33: 407-435, 2021.
Downloads: bib