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

b

DiscoverModelsSearch

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

7 months ago

·

arXiv