Home › Courses › Technology › Courses › Verification and Synthesis of Autonomous Systems

Verification and Synthesis of Autonomous Systems

By Coursera on Coursera · Technology
Price
Free

About This Course

This course will provide different techniques on the verification of autonomous systems against stability, regular, or omega-regular properties. Such techniques include Lyapunov theories, reachability analysis, barrier certificates, and model checking. Finally, it will introduce several techniques on designing controllers enforcing properties of interest over the original autonomous systems. This course can be taken for academic credit as part of CU Boulder’s Masters of Science in Computer Science (MS-CS) degrees offered on the Coursera platform. This fully accredited graduate degree offer targeted courses, short 8-week sessions, and pay-as-you-go tuition. Admission is based on performance in three preliminary courses, not academic history. CU degrees on Coursera are ideal for recent graduates or working professionals. Learn more: MS in Computer Science: https://coursera.org/degrees/ms-computer-science-boulder

Instructor

Majid Zamani

Frequently Asked Questions

How much does Verification and Synthesis of Autonomous Systems cost?
Visit the Verification and Synthesis of Autonomous Systems course page for current pricing and available discounts.
Who teaches Verification and Synthesis of Autonomous Systems?
Verification and Synthesis of Autonomous Systems is taught by Majid Zamani, University of Colorado Boulder.
What skill level is Verification and Synthesis of Autonomous Systems for?
This course is designed for all levels learners.