TY  - RPRT
TI  - Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
AU  - Daniel Jackson
AU  - Valerie Richmond
AU  - Mike Wang
AU  - Jeff Chow
AU  - Uriel Guajardo
AU  - Soonho Kong
AU  - Sergio Campos
AU  - Geoffrey Litt
AU  - Nikos Arechiga
PY  - 2021
UR  - https://arxiv.org/abs/2104.06178
ID  - 2104.06178
ER  -