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

Results for "quantitative model checking"


  • Status: Free Trial
    Free Trial
    Y

    Yonsei University

    Applying Investment Decision Rules for Startups

    Skills you'll gain: Capital Budgeting, Financial Analysis, Cost Benefit Analysis, Return On Investment, Investment Management, Financial Modeling, Cash Flows, Project Finance, Project Estimation, Decision Making, Depreciation, Microsoft Excel

    4.6
    Rating, 4.6 out of 5 stars
    ·
    87 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Edinburgh

    The Discovery of the Higgs Boson

    Skills you'll gain: Physics, Laboratory Research, Mechanics, Experimentation, Mathematical Modeling, electromagnetics, General Science and Research, Applied Mathematics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    O

    O.P. Jindal Global University

    Machine Learning

    Skills you'll gain: Model Evaluation, Supervised Learning, Scikit Learn (Machine Learning Library), Tensorflow, Applied Machine Learning, Artificial Neural Networks, Python Programming, NumPy, Matplotlib, Deep Learning, Image Analysis, Machine Learning, Embeddings, Pandas (Python Package), Convolutional Neural Networks, Natural Language Processing, Regression Analysis

    Build toward a degree

    3.9
    Rating, 3.9 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 3 Months

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

    Coursera

    Strategic Sourcing & Supplier Selection

    Skills you'll gain: Strategic Sourcing, Supplier Management, Vendor Management, Contract Negotiation, Supplier Performance Management, Vendor Relationship Management, Supplier Relationship Management, Procurement, Cost Benefit Analysis, Financial Modeling, Negotiation, Market Research, Market Intelligence, Risk Management, Financial Analysis, Data-Driven Decision-Making, Process Improvement, Spreadsheet Software, Business Communication, Data Analysis

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Python - Complete Python, Django, Data Science and ML Guide

    Skills you'll gain: Predictive Modeling, Data Preprocessing, Django (Web Framework), Data Visualization, Model Evaluation, Machine Learning Methods, Feature Engineering, Programming Principles, Databases, Game Design, Development Environment, Data Science, Web Applications, Animation and Game Design, Application Frameworks, Scripting, Scripting Languages, Software Design Patterns, Functional Design, Data Validation

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Building Applications with Spring Boot and MVC Architecture

    3.9
    Rating, 3.9 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    CompTIA Security+ (SY0-701)

    Skills you'll gain: IT Security Architecture, Incident Response, Endpoint Security, Zero Trust Network Access, Risk Analysis, Network Security, Risk Mitigation, Cyber Governance, Compliance Auditing, Event Monitoring, Application Security, Cyber Security Policies, Cyber Risk, Computer Security, Governance, Data Security, Information Systems Security, Infrastructure Security, Mobile Security, Risk Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    13 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Spark and Python for Big Data with PySpark

    Skills you'll gain: PySpark, Apache Spark, Model Evaluation, MySQL, Data Pipelines, Scala Programming, Extract, Transform, Load, Logistic Regression, Customer Analysis, Apache Hadoop, Predictive Modeling, Applied Machine Learning, Data Processing, Data Persistence, Advanced Analytics, Big Data, Apache Maven, Unsupervised Learning, Apache, Python Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    87 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Dassault Systèmes

    SOLIDWORKS Assemblies and Exam Level Part Modeling

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

    4.6
    Rating, 4.6 out of 5 stars
    ·
    54 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    MathWorks

    Machine Learning for Computer Vision

    Skills you'll gain: Computer Vision, Model Evaluation, Image Analysis, Matlab, Convolutional Neural Networks, Data Preprocessing, Machine Learning, Classification Algorithms, Artificial Intelligence and Machine Learning (AI/ML), Visualization (Computer Graphics), Deep Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    23 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Generative AI for Software Engineers & Developers

    Skills you'll gain: Prompt Engineering, Generative AI, Generative Model Architectures, Gemini, Model Deployment, Generative AI Agents, Generative Adversarial Networks (GANs), Google Gemini, Responsible AI, Performance Tuning, Large Language Modeling, Software Development Tools, Code Review, Software Engineering, Artificial Intelligence, AI Personalization, Software Development, Software Quality Assurance, Debugging, Automation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    14 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Social Computing

    Skills you'll gain: Social Network Analysis, Network Analysis, Responsible AI, Graph Theory, Machine Learning, Applied Machine Learning, Research, Model Evaluation, Social Sciences, Statistical Analysis, Amazon Web Services, R Programming, Tensorflow, Data Ethics, Artificial Intelligence and Machine Learning (AI/ML), Research Design, Sociology, Driving engagement, Machine Learning Methods, Behavioral Economics

    4.4
    Rating, 4.4 out of 5 stars
    ·
    15 reviews

    Intermediate · Specialization · 3 - 6 Months

1…221222223…408

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

  • Applying Investment Decision Rules for Startups: Yonsei University
  • The Discovery of the Higgs Boson: The University of Edinburgh
  • Machine Learning: O.P. Jindal Global University
  • Strategic Sourcing & Supplier Selection: Coursera
  • Python - Complete Python, Django, Data Science and ML Guide: Packt
  • Building Applications with Spring Boot and MVC Architecture: Board Infinity
  • CompTIA Security+ (SY0-701): Packt
  • Spark and Python for Big Data with PySpark: EDUCBA
  • SOLIDWORKS Assemblies and Exam Level Part Modeling: Dassault Systèmes
  • Machine Learning for Computer Vision: MathWorks

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