@misc{indiciae663faa8820b6,
  title = {Self-Driving Vehicle Verification Towards a Benchmark},
  author = {Nima Roohi and Ramneet Kaur and James Weimer and Oleg Sokolsky and Insup Lee},
  year = {2018},
  url = {https://arxiv.org/abs/1806.08810},
  note = {Source identifier: 1806.08810}
}