@misc{indiciae8419502ea08e,
  title = {Using control synthesis to generate corner cases: A case study on autonomous driving},
  author = {Glen Chou and Yunus E. Sahin and Liren Yang and Kwesi J. Rutledge and Petter Nilsson and Necmiye Ozay},
  year = {2018},
  doi = {10.1109/tcad.2018.2858464},
  url = {https://arxiv.org/abs/1807.09537},
  note = {Source identifier: 1807.09537}
}