This course teaches rigorous mathematical and algorithmic techniques to enable safe autonomy, including the tasks of controller training, system modeling, and safety analysis/verification.