Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling

Feiyang Cai, Chuchu Fan, Stanley Bak

Verifying safety of neural network control systems that use images as input is a difficult problem because, from a given system state, there is no known way to mathematically model…