Requirement Specifications for Autonomous Systems
$49
ENROLL NOWCourse Overview
This course will discuss different ways of formally modeling requirements of interest for autonomous systems. Examples of such requirements include stability, invariance, reachability, regular languages, omega-regular languages, and linear temporal logic properties. In addition, it will introduce non-deterministic finite and büchi automata for recognizing, respectively, regular languages and omega-regular languages. This course can be taken for academic credit as part of CU Boulder’s MS in Computer Science degrees offered on the Coursera platform. These fully accredited graduate degrees 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
Course FAQs
What are the prerequisites for 'Requirement Specifications for Autonomous Systems'?
Prerequisites for this continuing education class are set by University of Colorado Boulder. Most professional development online classes benefit from some prior knowledge. Please check the provider's page for specific requirements.
Will I receive a certificate for this CE class?
Yes, upon successful completion, University of Colorado Boulder typically offers a shareable certificate to showcase your new skills and fulfill your continuing education requirements.
How long does this online course take to complete?
Completion times for online continuing education courses vary. The provider's website will have the most accurate estimate of the time commitment needed.
