Safe Autonomous Systems

3 Credits

Mathematical and algorithmic techniques for safety design and analysis in autonomy, including controller training, system modeling, requirements specification, and safety verification. An opportunity to dive into autonomy applications. Suitable for students who want to gain state-of-the-art knowledge in safe autonomy, deepen their design and validation skills, gain experience with a particular autonomous system, or add safety assurance to their work.