F. Cai, C. Fan, and S. Bak, “Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling”, AAAI, vol. 39, no. 1, pp. 21–30, Apr. 2025.