TY  - RPRT
TI  - Safety Verification and Control for Collision Avoidance at Road Intersections
AU  - Heejin Ahn
AU  - Domitilla Del Vecchio
PY  - 2016
DO  - 10.1109/tac.2017.2729661
UR  - https://arxiv.org/abs/1612.02795
ID  - 1612.02795
ER  -