@misc{indiciaea81eaf58dca7,
  title = {Negotiation-Aware Reachability-Based Safety Verification for AutonomousDriving in Interactive Scenarios},
  author = {Ran Tian and Anjian Li and Masayoshi Tomizuka and Liting Sun},
  year = {2021},
  url = {https://arxiv.org/abs/2106.02737},
  note = {Source identifier: 2106.02737}
}