@misc{indiciae91c0877d6ef0,
  title = {A Formal Safety Characterization of Advanced Driver Assist Systems in the Car-Following Regime with Scenario-Sampling},
  author = {Bowen Weng and Minghao Zhu and Keith Redmill},
  year = {2022},
  url = {https://arxiv.org/abs/2202.08935},
  note = {Source identifier: 2202.08935}
}