@misc{indiciaeb175e987962f,
  title = {Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars},
  author = {Megan Strauss and Stefan Mitsch},
  year = {2023},
  url = {https://arxiv.org/abs/2305.08812},
  note = {Source identifier: 2305.08812}
}