Teaching
Fall 2020, 2021, 2022: MIT 16.30/31 Feedback Control Systems
Spring 2021, 2022: MIT 16.332 Formal Methods for Safe Autonomous Systems
Fall 2020, 2021, 2022: MIT 16.30/31 Feedback Control Systems
Spring 2021, 2022: MIT 16.332 Formal Methods for Safe Autonomous Systems