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

Results for "quantitative model checking"


  • Status: New
    New
    G

    Google Cloud

    AI Infrastructure : introduction à AI Hypercomputer

    Skills you'll gain: Application Deployment, Cloud Deployment, Model Deployment, Google Cloud Platform, Cloud Infrastructure, Infrastructure Architecture, Artificial Intelligence, Hardware Architecture, Performance Tuning, Cloud Computing, Computer Hardware

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    C

    Creo Incubator

    Financial Literacy & Fundraising Readiness

    Skills you'll gain: Entrepreneurial Finance, Accounting, Financial Analysis, Financial Statements, Mergers & Acquisitions, Financial Modeling, Business Valuation, Financial Forecasting, Investments, Entrepreneurship, Fundraising

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Jira Essentials: Beginner-Intermediate Mastery

    Skills you'll gain: Jira (Software), Responsible AI, Agile Methodology, Issue Tracking, Agile Project Management, Continuous Improvement Process, Workflow Management, Model Evaluation, Product Roadmaps, Test Case, AI Enablement, Verification And Validation, Automation, AI Personalization, Generative AI, Generative AI Agents, Software Testing, Configuration Management, Project Portfolio Management, Dashboard

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    Foundations of Business Intelligence

    Skills you'll gain: Stakeholder Engagement, Business Intelligence, Data-Driven Decision-Making, Dashboard, Business Analytics, Real Time Data, Data Integration, Data Modeling, Data Storytelling, Data Analysis, Key Performance Indicators (KPIs), Data Presentation, Business Process, Project Implementation, Data Pipelines

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.1K reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Pragmatic AI Labs

    GitHub: From Zero to Pull Request

    Skills you'll gain: Model Context Protocol, GitHub, Git (Version Control System), Open Source Technology, CI/CD, Version Control, Generative AI Agents, Agentic systems, Tool Calling, YAML, Code Review, Automation, Issue Tracking, Software Documentation

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Probabilistic Graphical Models: A Compact Introduction

    Skills you'll gain: Bayesian Network, Predictive Modeling, Machine Learning Methods, Markov Model, Statistical Modeling, Artificial Intelligence, Statistical Inference, Graph Theory, Network Analysis, Probability & Statistics, Sampling (Statistics), Algorithms, Scalability

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Fundamentals of Reinforcement Learning

    Skills you'll gain: Reinforcement Learning, Machine Learning, Machine Learning Algorithms, Artificial Intelligence, Markov Model, Algorithms, Probability Distribution

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.9K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Information​ ​Systems

    Skills you'll gain: Enterprise Resource Planning, Business Systems Analysis, Systems Analysis, Requirements Analysis, Cybersecurity, Business Requirements, Business Analysis, Business Systems, Cloud Computing, Cloud Services, Change Management, Business Technologies, Information Technology, Organizational Change, Technology Strategies, Process Flow Diagrams, System Implementation, Governance, Project Management, Critical Thinking

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.2K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    B

    Board Infinity

    Build no-code AI Solutions with Notion AI: Idea to Prototype

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    TradeStation EasyLanguage for Algorithmic Trading

    Skills you'll gain: Financial Trading, Artificial Intelligence, Market Trend, Machine Learning Methods, Technical Analysis, Algorithms, Securities Trading, Futures Exchange, Portfolio Risk, Risk Management, Model Evaluation, Market Data, Machine Learning Algorithms, Machine Learning, Data Validation, Trend Analysis, Performance Analysis, Statistical Programming, Scripting Languages, Finance

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Design and Assemble an IC Engine Using SolidWorks

    Skills you'll gain: SolidWorks (CAD), 3D Modeling, Assembly Drawing, Engineering Design Process, Mechanical Design, Computer-Aided Design, Mechanical Engineering, Engineering Drawings, Torque (Physics), Functional Testing

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Analyze Markets: Growth, Trends, and Opportunity

    Beginner · Course · 1 - 4 Weeks

1…434445…407

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

  • AI Infrastructure : introduction à AI Hypercomputer: Google Cloud
  • Financial Literacy & Fundraising Readiness: Creo Incubator
  • Jira Essentials: Beginner-Intermediate Mastery: Coursera
  • Foundations of Business Intelligence: Google
  • GitHub: From Zero to Pull Request: Pragmatic AI Labs
  • Probabilistic Graphical Models: A Compact Introduction: Coursera
  • Fundamentals of Reinforcement Learning: University of Alberta
  • Information​ ​Systems: University of Minnesota
  • Build no-code AI Solutions with Notion AI: Idea to Prototype: Board Infinity
  • TradeStation EasyLanguage for Algorithmic Trading: Packt

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