Prelim Examination: Hussein Sibai
December 21, 2021 @ 3:00 PM
Online
Exam Topic: Accelerating Safety Verification of Autonomous Systems using Symmetry Transformations