[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. doi.. 
Downloads: bibURL: https://doi.org/10.1007/s00165-021-00548-1