This course is part of Foundations of Autonomous Systems Specialization

Instructor: Majid Zamani

What you'll learn

  •   Analyze stability properties of linear systems
  •   Compute over-approximations of reachable sets for some classes of systems
  •   Perform model checking for finite systems
  •   Synthesize controllers for safety and reachability specifications for finite systems using fixed-point algorithms

    • Skills you'll gain

  •   Algorithms
  •   Computer Science
  •   Systems Analysis
  •   Verification And Validation
  •   Automation
  •   Computational Logic
  •   Artificial Intelligence
  •   Theoretical Computer Science

    • There are 4 modules in this course

    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

    Verification of Finite Systems

    Synthesis for Finite Systems

    Abstraction and Refinement

    Explore more from Software Development

    ©2025  ementorhub.com. All rights reserved