ML Anthology

Cai, Feiyang

1 publications

AAAI 2025 Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling Feiyang Cai, Chuchu Fan, Stanley Bak