TY  - RPRT
TI  - Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
AU  - Kaj Munhoz Arfvidsson
AU  - Frank J. Jiang
AU  - Karl H. Johansson
AU  - Jonas Mårtensson
PY  - 2024
UR  - https://arxiv.org/abs/2408.14870
ID  - 2408.14870
ER  -