Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles. - Daniel Jackson 001; Valerie Richmond; Mike Wang; Jeff Chow; Uriel Guajardo; Soonho Kong; Sergio Campos; Geoffrey Litt; Nikos Aréchiga (CoRR, 2021)