• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Coursera
  • Online Degrees
  • Careers
  • Log In
  • Join for Free
    Coursera
    • Browse
    • Quantitative Model Checking
    Skip to search results

    Filter by

    Subject
    Required
     *

    Language
    Required
     *

    The language used throughout the course, in both instruction and assessments.

    Learning Product
    Required
     *

    Level
    Required
     *

    Duration
    Required
     *

    Skills
    Required
     *

    Subtitles
    Required
     *

    Educator
    Required
     *

    Results for "quantitative model checking"

    • Status: Free Trial
      Free Trial
      U

      University of California, Irvine

      Cluster Analysis, Association Mining, and Model Evaluation

      Skills you'll gain: Unsupervised Learning, Data Analysis, Regression Analysis, Statistical Analysis, Data Mining, Predictive Modeling, Predictive Analytics, Anomaly Detection, Statistical Modeling, Classification And Regression Tree (CART), Machine Learning, Correlation Analysis, Probability & Statistics, Scatter Plots, Market Analysis, Supervised Learning, AI Personalization, Cross Selling

      4.5
      Rating, 4.5 out of 5 stars
      ·
      47 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      I

      Illinois Tech

      Model Diagnostics and Remedial Measures

      Skills you'll gain: Data Validation, Regression Analysis, Exploratory Data Analysis, Verification And Validation, Plot (Graphics), Mathematical Modeling, Statistical Methods, Statistical Modeling, Data Transformation, Predictive Modeling, Correlation Analysis, Statistical Analysis, R Programming, Statistical Inference, Linear Algebra

      Build toward a degree

      4.9
      Rating, 4.9 out of 5 stars
      ·
      8 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      C

      Cisco Learning and Certifications

      Introducing Model-Driven Programmability

      Skills you'll gain: Software-Defined Networking, YAML, Network Protocols, Network Routing, Computer Networking, Data Modeling, Extensible Markup Language (XML), JSON, Automation, Application Programming Interface (API), Computer Programming Tools

      4.8
      Rating, 4.8 out of 5 stars
      ·
      13 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      C

      Coursera Instructor Network

      GenAI and Model Selection

      Skills you'll gain: Generative AI, Applied Machine Learning, Large Language Modeling, Strategic Decision-Making, Machine Learning, Integration Testing, Systems Integration, Scalability, Innovation

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      U

      University of Colorado Boulder

      Verification and Synthesis of Autonomous Systems

      Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Analysis, System Requirements, Simulations, Algorithms, Linear Algebra

      Build toward a degree

      3.8
      Rating, 3.8 out of 5 stars
      ·
      9 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      J

      Johns Hopkins University

      Mastering Neural Networks and Model Regularization

      Skills you'll gain: PyTorch (Machine Learning Library), Deep Learning, Supervised Learning, Artificial Neural Networks, Image Analysis, Decision Tree Learning, Machine Learning Algorithms, Machine Learning, Computer Vision

      Intermediate · Course · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      U

      University of Colorado Boulder

      Equivalent Circuit Cell Model Simulation

      Skills you'll gain: Simulations, Electronic Systems, Mathematical Modeling, Electrical Engineering, Matlab, Electrical Systems, Basic Electrical Systems, Laboratory Testing, Engineering Analysis, Applied Mathematics, Test Data

      4.7
      Rating, 4.7 out of 5 stars
      ·
      549 reviews

      Intermediate · Course · 1 - 3 Months

    • Status: Free Trial
      Free Trial
      A

      Arizona State University

      Response Surfaces, Mixtures, and Model Building

      Skills you'll gain: Regression Analysis, Experimentation, Statistical Methods, Statistical Analysis, Statistical Modeling, Statistical Software, Mathematical Modeling, Data Analysis Software

      4.7
      Rating, 4.7 out of 5 stars
      ·
      67 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      I

      Imperial College London

      Developing the SIR Model

      Skills you'll gain: Epidemiology, Infectious Diseases, Mathematical Modeling, Public Health, R Programming, Differential Equations

      4.8
      Rating, 4.8 out of 5 stars
      ·
      272 reviews

      Intermediate · Course · 1 - 4 Weeks

    • E

      EIT Digital

      System Validation (2): Model process behaviour

      Skills you'll gain: Verification And Validation, Systems Analysis, Systems Design, Mathematical Modeling, Programming Principles, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms

      4.1
      Rating, 4.1 out of 5 stars
      ·
      10 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      J

      Johns Hopkins University

      Quantifying Relationships with Regression Models

      Skills you'll gain: Regression Analysis, Correlation Analysis, Statistical Inference, Data Analysis, Statistical Modeling, Statistical Analysis, Probability & Statistics

      4.5
      Rating, 4.5 out of 5 stars
      ·
      22 reviews

      Intermediate · Course · 1 - 4 Weeks

    • Status: Free Trial
      Free Trial
      U

      University of Colorado Boulder

      Modeling and Debugging Embedded Systems

      Skills you'll gain: Debugging, Failure Analysis, Embedded Systems, Cyber Engineering, Simulation and Simulation Software, Technical Communication, Engineering Management, Control Systems, Engineering Practices

      4.6
      Rating, 4.6 out of 5 stars
      ·
      243 reviews

      Intermediate · Course · 1 - 4 Weeks

    1…8910…242

    In summary, here are 10 of our most popular quantitative model checking courses

    • Cluster Analysis, Association Mining, and Model Evaluation: University of California, Irvine
    • Model Diagnostics and Remedial Measures: Illinois Tech
    • Introducing Model-Driven Programmability: Cisco Learning and Certifications
    • GenAI and Model Selection: Coursera Instructor Network
    • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
    • Mastering Neural Networks and Model Regularization: Johns Hopkins University
    • Equivalent Circuit Cell Model Simulation: University of Colorado Boulder
    • Response Surfaces, Mixtures, and Model Building: Arizona State University
    • Developing the SIR Model: Imperial College London
    • System Validation (2): Model process behaviour: EIT Digital

    Other topics to explore

    Arts and Humanities
    338 courses
    Business
    1095 courses
    Computer Science
    668 courses
    Data Science
    425 courses
    Information Technology
    145 courses
    Health
    471 courses
    Math and Logic
    70 courses
    Personal Development
    137 courses
    Physical Science and Engineering
    413 courses
    Social Sciences
    401 courses
    Language Learning
    150 courses

    Coursera Footer

    Technical Skills

    • ChatGPT
    • Coding
    • Computer Science
    • Cybersecurity
    • DevOps
    • Ethical Hacking
    • Generative AI
    • Java Programming
    • Python
    • Web Development

    Analytical Skills

    • Artificial Intelligence
    • Big Data
    • Business Analysis
    • Data Analytics
    • Data Science
    • Financial Modeling
    • Machine Learning
    • Microsoft Excel
    • Microsoft Power BI
    • SQL

    Business Skills

    • Accounting
    • Digital Marketing
    • E-commerce
    • Finance
    • Google
    • Graphic Design
    • IBM
    • Marketing
    • Project Management
    • Social Media Marketing

    Career Resources

    • Essential IT Certifications
    • High-Income Skills to Learn
    • How to Get a PMP Certification
    • How to Learn Artificial Intelligence
    • Popular Cybersecurity Certifications
    • Popular Data Analytics Certifications
    • What Does a Data Analyst Do?
    • Career Development Resources
    • Career Aptitude Test
    • Share your Coursera Learning Story

    Coursera

    • About
    • What We Offer
    • Leadership
    • Careers
    • Catalog
    • Coursera Plus
    • Professional Certificates
    • MasterTrack® Certificates
    • Degrees
    • For Enterprise
    • For Government
    • For Campus
    • Become a Partner
    • Social Impact
    • Free Courses
    • ECTS Credit Recommendations

    Community

    • Learners
    • Partners
    • Beta Testers
    • Blog
    • The Coursera Podcast
    • Tech Blog

    More

    • Press
    • Investors
    • Terms
    • Privacy
    • Help
    • Accessibility
    • Contact
    • Articles
    • Directory
    • Affiliates
    • Modern Slavery Statement
    • Do Not Sell/Share
    Learn Anywhere
    Download on the App Store
    Get it on Google Play
    Logo of Certified B Corporation
    © 2025 Coursera Inc. All rights reserved.
    • Coursera Facebook
    • Coursera Linkedin
    • Coursera Twitter
    • Coursera YouTube
    • Coursera Instagram
    • Coursera TikTok