×
2021
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles.
[DOI]
Daniel Jackson
,
Valerie Richmond
,
Mike Wang
,
Jeff Chow
,
Uriel Guajardo
,
Soonho Kong
,
Sergio Campos
,
Geoffrey Litt
,
Nikos Aréchiga
CoRR, 2021