ML Anthology

Bak, Stanley

1 publications

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