TY  - RPRT
TI  - Formal Verification of Safety Architectures for Automated Driving
AU  - Clovis Eberhart
AU  - Jérémy Dubut
AU  - James Haydon
AU  - Ichiro Hasuo
PY  - 2023
DO  - 10.1109/iv55152.2023.10186763
UR  - https://arxiv.org/abs/2308.10365
ID  - 2308.10365
ER  -