@misc{indiciae6524183df1da,
  title = {Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling},
  author = {Feiyang Cai and Chuchu Fan and Stanley Bak},
  year = {2025},
  url = {https://arxiv.org/abs/2405.18554},
  note = {Source identifier: 2405.18554}
}