@misc{indiciae35c650bbd28c,
  title = {Safety Validation of Autonomous Vehicles using Assertion Checking},
  author = {Christopher Harper and Greg Chance and Abanoub Ghobrial and Saquib Alam and Tony Pipe and Kerstin Eder},
  year = {2022},
  url = {https://arxiv.org/abs/2111.04611},
  note = {Source identifier: 2111.04611}
}