Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling.

Feiyang Cai, Chuchu Fan, Stanley Bak

Browse the full AAAI paper archive.