The Grainger College of Engineering
Prelim Examination: Yangge Li
Code-level verification for perception enabled autonomous systems