Prelim Exam: Aaron Havens
Robustness Certificates of Neural-networks with Applications to Classification and Perception-based Control
