Cai, F., Fan, C., & Bak, S. (2025). Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling. Proceedings of the AAAI Conference on Artificial Intelligence, 39(1), 21–30. https://doi.org/10.1609/aaai.v39i1.31976