TY  - RPRT
TI  - Formal Verification of Intersection Safety for Automated Driving
AU  - James Haydon
AU  - Martin Bondu
AU  - Clovis Eberhart
AU  - Jérémy Dubut
AU  - Ichiro Hasuo
PY  - 2023
UR  - https://arxiv.org/abs/2308.06785
ID  - 2308.06785
ER  -