Prelim Examination: Kristina Miller
April 19, 2023 @ 10:00 AM
CSL 221
Exam Topic: Formal synthesis of controllers for safe autonomous systems
