@misc{indiciae8f82a4dc31ea,
  title = {Towards Provably Safe Mixed Transportation Systems with Human-driven and Automated Vehicles},
  author = {Xi Liu and Ke Ma and P. R. Kumar},
  year = {2018},
  url = {https://arxiv.org/abs/1810.05807},
  note = {Source identifier: 1810.05807}
}