@misc{indiciae774cfa2f6239,
  title = {Verification of Image-based Neural Network Controllers Using Generative Models},
  author = {Sydney M. Katz and Anthony L. Corso and Christopher A. Strong and Mykel J. Kochenderfer},
  year = {2021},
  url = {https://arxiv.org/abs/2105.07091},
  note = {Source identifier: 2105.07091}
}