@misc{indiciae89d1fc1800b2,
  title = {Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance},
  author = {Jesse Reimann and Nico Mansion and James Haydon and Benjamin Bray and Agnishom Chattopadhyay and Sota Sato and Masaki Waga and Étienne André and Ichiro Hasuo and Naoki Ueda and Yosuke Yokoyama},
  year = {2024},
  doi = {10.1145/3605098.3636014},
  url = {https://arxiv.org/abs/2403.18764},
  note = {Source identifier: 2403.18764}
}