Stanley Bak

1
papers
9
total citations

papers (1)

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

AAAI 2025arXiv
9
citations