Verification and Synthesis Algorithms for Safe Autonomy

Time and Location:

March 06, 2019 at 2PM; 60 Fifth Avenue, Room room 150

Speaker:

Chuchu Fan, University of Illinois at Urbana-Champaign