TY  - RPRT
TI  - Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
AU  - Jesse Reimann
AU  - Nico Mansion
AU  - James Haydon
AU  - Benjamin Bray
AU  - Agnishom Chattopadhyay
AU  - Sota Sato
AU  - Masaki Waga
AU  - Étienne André
AU  - Ichiro Hasuo
AU  - Naoki Ueda
AU  - Yosuke Yokoyama
PY  - 2024
DO  - 10.1145/3605098.3636014
UR  - https://arxiv.org/abs/2403.18764
ID  - 2403.18764
ER  -