Verification and Synthesis Algorithms for Safe Autonomy
Sponsor(s):
Electrical and Computer Engineering (ECE), Information Initiative at Duke (iiD), and Pratt School of Engineering
Friday, March 01, 2019
12:00 pm - 1:00 pm
Chuchu Fan, Ph.D. candidate in the Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign
