Cai, Feiyang, Chuchu Fan, and Stanley Bak. “Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 1 (April 11, 2025): 21–30. Accessed May 14, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/31976.