Stanley Bak

1
Papers
9
Total Citations

Papers (1)

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

AAAI 2025
9
citations