Verification and Synthesis Algorithms for Safe Autonomy
Time and Location:
March 06, 2019 at 2PM; 60 Fifth Avenue, Room room 150Speaker:
Chuchu Fan, University of Illinois at Urbana-Champaign
Chuchu Fan, University of Illinois at Urbana-Champaign