Final Examination: Chuchu Fan

Event Type

Other

Sponsor

ECE ILLINOIS

Location

CSL 239

Date

Oct 29, 2019   3:00 pm  

Views

13

Originating Calendar

Illinois ECE Calendar

Final Examination: Chuchu Fan

October 29, 2019 @ 3:00 PM

CSL 239

Exam Topic: Formal methods for safe autonomy: verification, synthesis, and applications