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

Devs

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling | Read Paper on Bytez