Foundations of Autonomous Systems

University of Colorado Boulder via CourseraSpecs

Go to Course: https://www.coursera.org/specializations/foundations-of-autonomous-systems

Syllabus

https://www.coursera.org/learn/modeling-of-autonomous-systems

Modeling of Autonomous Systems

Offered by University of Colorado Boulder. This course will explain the core structure in any autonomous system which includes sensors, ...

https://www.coursera.org/learn/requirement-specifications-for-autonomous-systems

Requirement Specifications for Autonomous Systems

Offered by University of Colorado Boulder. This course will discuss different ways of formally modeling requirements of interest for ...

https://www.coursera.org/learn/verification-and-synthesis-of-autonomous-systems

Verification and Synthesis of Autonomous Systems

Offered by University of Colorado Boulder. This course will provide different techniques on the verification of autonomous systems against ...