Luo, Z., Wang, L., Wang, R., Yang, K., & Ye, A. (2022). Improving Robustness Verification of Neural Networks with General Activation Functions via Branching and Optimization. In 2022 International Joint Conference on Neural Networks (IJCNN) (pp. 1–8).