@misc{indiciae3a79449408e0,
  title = {Formal Verification of Safety Architectures for Automated Driving},
  author = {Clovis Eberhart and Jérémy Dubut and James Haydon and Ichiro Hasuo},
  year = {2023},
  doi = {10.1109/iv55152.2023.10186763},
  url = {https://arxiv.org/abs/2308.10365},
  note = {Source identifier: 2308.10365}
}