• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Quantitative Model Checking

Results for "quantitative model checking"


  • T

    The Chinese University of Hong Kong

    离散优化建模高阶篇 Advanced Modeling for Discrete Optimization

    Skills you'll gain: Model Optimization, Mathematical Modeling, Advanced Mathematics, Operations Research, Debugging, Code Reusability, Algorithms

    ★ 4.3 (6) · Intermediate · Course · 1 - 3 Months

    Category: Free
    Free
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Automate, Evaluate and Deploy ML Models Confidently

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Scalability, Model Optimization, CI/CD, Continuous Deployment, Machine Learning Software, Continuous Delivery, Model Training, DevOps, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Continuous Integration, Performance Measurement, Business Metrics, Automation, Business Priorities, Performance Analysis, YAML

    Advanced · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • B

    Birla Institute of Technology & Science, Pilani

    Logic for Computer Science

    Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Analytical Skills, Programming Principles, Computer Science, Data Analysis, Computer Programming, Algorithms, Verification And Validation, Software Development, Machine Learning

    Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • C

    Corporate Finance Institute

    Advanced Tableau - Data Model

    Skills you'll gain: Star Schema, Data Modeling, Extract, Transform, Load, Performance Tuning, Tableau Software, Model Optimization, Database Design, Data Warehousing, Data Integration

    Advanced · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado Boulder

    Verification and Synthesis of Autonomous Systems

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

    ★ 3.8 (11) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • U

    University of Colorado Boulder

    Real-Time Embedded Systems Theory and Analysis

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, System Programming, System Design and Implementation, Software Design, OS Process Management, Linux, Systems Analysis, Test Tools, Theoretical Computer Science, Verification And Validation, Algorithms

    ★ 4.3 (20) · Advanced · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Apply Quantitative Data Analysis Using R

    Skills you'll gain: Quantitative Research, R (Software), Scatter Plots, R Programming, Statistical Visualization, Correlation Analysis, Statistical Programming, Descriptive Statistics, Statistical Analysis, Data Analysis, Statistics, Statistical Methods, Exploratory Data Analysis, Data Manipulation, Data Import/Export, Data Structures, Development Environment

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    DeepLearning.AI

    How Diffusion Models Work

    Skills you'll gain: Generative AI, Generative Model Architectures, Jupyter, AI Personalization, Model Training, Sampling (Statistics), Artificial Neural Networks, Algorithms

    ★ 4.6 (279) · Intermediate · Project · Less Than 2 Hours

    Category: Free
    Free
    Category: Credit offered
    Credit offered
  • A

    Alex Genadinik

    2026 Fixing AI Errors & Hallucinations, And Fact-Checking

    Skills you'll gain: Prompt Engineering, Debugging, Code Review, AI literacy, Responsible AI, LLM Application, Verification And Validation, ChatGPT, Artificial Intelligence, AI Workflows, Software Testing

    Mixed · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • I

    Imperial College London

    Developing the SIR Model

    Skills you'll gain: Epidemiology, Infection Control, Infectious Diseases, Mathematical Modeling, Public Health and Disease Prevention, Public Health, R Programming, Differential Equations

    ★ 4.9 (274) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Pennsylvania

    Modeling Risk and Realities

    Skills you'll gain: Risk Modeling, Risk Management, Mathematical Modeling, Statistical Modeling, Predictive Modeling, Risk Analysis, Data Modeling, Simulation and Simulation Software, Statistical Methods, Probability Distribution, Statistics, Data-Driven Decision-Making, Decision Making, Statistical Hypothesis Testing, Model Optimization, Microsoft Excel, Spreadsheet Software

    ★ 4.6 (2.2K) · Mixed · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    Analyze and Build Trading Systems Using Market Models

    Skills you'll gain: Data Literacy, Financial Trading, Financial Market, Descriptive Statistics, Market Data, Statistics, Statistical Methods, Technical Analysis, Derivatives, Risk Modeling, Statistical Analysis, Market Dynamics, Securities Trading, Risk Analysis, Market Analysis, Statistical Modeling, Financial Modeling, Performance Measurement, Performance Analysis, Probability Distribution

    Beginner · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…678…446

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

  • 离散优化建模高阶篇 Advanced Modeling for Discrete Optimization: The Chinese University of Hong Kong
  • Automate, Evaluate and Deploy ML Models Confidently: Coursera
  • Logic for Computer Science: Birla Institute of Technology & Science, Pilani
  • Advanced Tableau - Data Model: Corporate Finance Institute
  • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
  • Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
  • Apply Quantitative Data Analysis Using R: EDUCBA
  • How Diffusion Models Work: DeepLearning.AI
  • 2026 Fixing AI Errors & Hallucinations, And Fact-Checking: Alex Genadinik
  • Developing the SIR Model: Imperial College London

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

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

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
  • Share your Coursera learning story

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
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok