16-883 Provably safe robotics (Spring 2023)
(Last Update: 5/17/2023)
Time: Tuesday and Thursday 9:30-10:50am
Instructor: Changliu Liu, cliu6@andrew.cmu.edu
Office hours: by appointment
Canvas: https://canvas.cmu.edu/courses/32873
Syllabus
Student Projects (Selected)
Alex Pletta and Ben Younes. Parametric State Uncertainty and Safe Control [slides]
Yihang Yao and Zhongqi Wei. Constraint-Conditioned Policy Optimization for Versatile Safe Reinforcement Learning [report]
Abulikemu Abuduweili. Towards the relationship between Lipschitz continuity and provable robustness of Neural Networks [slides]
Hanjiang Hu. Robustness Verification for Perception Models against Camera Motion Perturbations [report]
Rebecca Martin. Improving Robustness in Aircraft Detection and Tracking Systems