This course is part of Foundations of Autonomous Systems Specialization

Instructor: Majid Zamani

What you'll learn

  •   Utilize formal methods to specify and verify requirements for autonomous systems.
  •   Model system behaviors and verify stability using various analytical methods.
  •   Apply reachable set computation and robustness analysis in system design.

    • Skills you'll gain

  •   Agentic systems
  •   Computer Science
  •   Verification And Validation
  •   Computational Logic
  •   Mathematical Modeling
  •   Applied Mathematics
  •   System Requirements
  •   Theoretical Computer Science
  •   Control Systems
  •   Linear Algebra

    • There are 5 modules in this course

    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

    Low-Level Specifications

    High-Level Specifications: Reachability, Safety, Regular and ω-Regular Properties

    Nondeterministic Finite and Büchi Automata (NFA and NBA)

    Linear Temporal Logic Formulae

    Explore more from Design and Product

    ©2025  ementorhub.com. All rights reserved