@conference{AaVaBe-ACC-2021,
    author    = {Aasi, Erfan and Vasile, Cristian Ioan and Belta, Calin},
    title     = {{A Control Architecture for Provably-Correct Autonomous Driving}},
    booktitle = {American Control Conference (ACC)},
    pages     = {2913--2918},
    month     = {May},
    address   = {New Orleans, LA, USA},
    year      = {2021},
    note      = {\href{https://ieeexplore.ieee.org/document/9482810}{doi:10.23919/ACC50511.2021.9482810}}
}