@misc{indiciae7ca4bcd88c8c,
  title = {Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller},
  author = {Radoslav Ivanov and Taylor J. Carpenter and James Weimer and Rajeev Alur and George J. Pappas and Insup Lee},
  year = {2019},
  url = {https://arxiv.org/abs/1910.11309},
  note = {Source identifier: 1910.11309}
}