TY  - RPRT
TI  - Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
AU  - Kaj Munhoz Arfvidsson
AU  - Frank J. Jiang
AU  - Karl H. Johansson
AU  - Jonas Mårtensson
PY  - 2024
UR  - https://arxiv.org/abs/2405.11300
ID  - 2405.11300
ER  -