Foundations of Autonomous Systems CoursesCSCA 5834 Modeling of Autonomous SystemsCSCA 5844 Requirement Specifications for Autonomous SystemsCSCA 5854 Verification and Synthesis of Autonomous SystemsTotal: 3 credits