[YangLLHWSXZ21] Improving Neural Network Verification through Spurious Region Guided Refinement Yang, P.; Li, R.; Li, J.; Huang, C.-C.; Wang, J.; Sun, J.; Xue, B. and Zhang, L. In TACAS (1), pages 389-408, Springer, Lecture Notes in Computer Science 12651, 2021.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-72016-2_21