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

Cai et al. "Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I1.31976

[Cai et al. "Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/cai2025aaai-scalable/) doi:10.1609/AAAI.V39I1.31976

@inproceedings{cai2025aaai-scalable,
  title     = {{Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling}},
  author    = {Cai, Feiyang and Fan, Chuchu and Bak, Stanley},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {21-30},
  doi       = {10.1609/AAAI.V39I1.31976},
  url       = {https://mlanthology.org/aaai/2025/cai2025aaai-scalable/}
}