TY  - RPRT
TI  - A Control Architecture for Provably-Correct Autonomous Driving
AU  - Erfan Aasi
AU  - Cristian Ioan Vasile
AU  - Calin Belta
PY  - 2021
UR  - https://arxiv.org/abs/2105.02759
ID  - 2105.02759
ER  -