@article{scalableandexplainableverificationof,
  title = {Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles},
  author = {Aditya Parameshwaran and Yue Wang},
  year = {2025},
  eprint = {2501.14009},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2501.14009v2},
}