@misc{indiciae98bc2ac4b690,
  title = {Model-based Verification and Validation of an Autonomous Vehicle System},
  author = {Eun-Young Kang and Dongrui Mu and Li Huang and Qianqing Lan},
  year = {2018},
  url = {https://arxiv.org/abs/1803.06103},
  note = {Source identifier: 1803.06103}
}