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

Results for "quantitative model checking"


  • O

    O.P. Jindal Global University

    Conflict Resolution, Negotiations and Crisis Management

    Skills you'll gain: Crisis Management, Mediation, Negotiation, Conflict Management, Diplomacy, Leadership, Governance, Public Safety and National Security, International Relations, Social Justice, Diversity and Inclusion, Decision Making, Case Studies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Data Warehousing: Schema, ETL, Optimal Performance

    Skills you'll gain: Data Warehousing, Extract, Transform, Load, Snowflake Schema, Star Schema, Business Intelligence, Data Modeling, Database Design, Data Management, Data Integration, Performance Tuning, Databases, Data Transformation, Scalability

    4.1
    Rating, 4.1 out of 5 stars
    ·
    18 reviews

    Beginner · Course · 1 - 4 Weeks

  • L

    LearnQuest

    Python Scripting: Dates, Classes and Collections

    Skills you'll gain: Unified Modeling Language, Data Modeling, Data Structures, Scripting, Object Oriented Programming (OOP), Python Programming, Software Design, Computer Programming, Software Engineering

    4.4
    Rating, 4.4 out of 5 stars
    ·
    35 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    The Ultimate BPMN Course

    Skills you'll gain: Business Process Improvement, Process Optimization, Quality Assurance, Digital Transformation

    Intermediate · Course · 3 - 6 Months

  • C

    Coursera

    Decision Tree Classifier for Beginners in R

    Skills you'll gain: Model Evaluation, Decision Tree Learning, Data Preprocessing, Data Manipulation, Statistical Modeling, R Programming, Supervised Learning, Machine Learning, Classification Algorithms

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • W

    Whizlabs

    NVIDIA: LLM Experimentation, Deployment, and Ethical AI

    Skills you'll gain: Responsible AI, Data Ethics, Generative AI, Large Language Modeling, Artificial Intelligence, AI Workflows, PyTorch (Machine Learning Library), AI Security, MLOps (Machine Learning Operations), Tensorflow, Information Privacy, Model Deployment, Machine Learning, A/B Testing, Version Control, Performance Tuning

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 4 Weeks

  • L

    Logical Operations

    Microsoft Power Apps: Building Low-Code Business Apps

    Skills you'll gain: Microsoft Power Platform, No-Code Development, Application Deployment, Application Design, Application Development, Microsoft 365, Dashboard, Data-Driven Decision-Making, Software Design, Project Planning, Product Testing, Software Development, Business Solutions, Software Architecture

    Mixed · Course · 1 - 3 Months

  • D

    DeepLearning.AI

    Introduction to On-Device AI

    Skills you'll gain: Model Deployment, Performance Testing, Android Development, Transfer Learning, Image Analysis, PyTorch (Machine Learning Library), Tensorflow, Hardware Architecture, Applied Machine Learning, Artificial Neural Networks, Artificial Intelligence

    4.4
    Rating, 4.4 out of 5 stars
    ·
    26 reviews

    Beginner · Project · Less Than 2 Hours

  • K

    KodeKloud

    Introduction to OpenAI

    Skills you'll gain: Prompt Engineering, OpenAI, OpenAI API, Responsible AI, Multimodal Prompts, AI Enablement, ChatGPT, Data Ethics, Artificial Intelligence, Generative AI, Tool Calling, AI Workflows, LLM Application, Image Analysis, Large Language Modeling, Natural Language Processing, Vision Transformer (ViT), Embeddings, Computer Vision, Reinforcement Learning

    Beginner · Course · 1 - 3 Months

  • J

    Johns Hopkins University

    Advanced Probability and Statistical Methods

    Skills you'll gain: Regression Analysis, Statistical Hypothesis Testing, Statistical Analysis, Probability & Statistics, Statistical Methods, Probability Distribution, Data Analysis, Markov Model, Data Science, Statistics, Statistical Inference, Probability, R Programming

    Intermediate · Course · 1 - 3 Months

  • I

    Infosec

    Laravel Protections

    Skills you'll gain: Distributed Denial-Of-Service (DDoS) Attacks, Secure Coding, Application Security, Encryption, Security Controls, Data Security, Database Application, Web Servers, Web Applications, Cryptography, Data Encryption Standard, Authentications, Query Languages, Data Validation, Computer Programming

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Keras Deep Learning & Generative Adversarial Networks (GAN)

    Skills you'll gain: Generative Adversarial Networks (GANs), Exploratory Data Analysis, Model Deployment, Keras (Neural Network Library), NumPy, Transfer Learning, PyTorch (Machine Learning Library), Predictive Modeling, Matplotlib, Data Analysis, Artificial Intelligence, Data Preprocessing, Development Environment, Pandas (Python Package), Deep Learning, Classification And Regression Tree (CART), Artificial Neural Networks, Image Analysis, Machine Learning, Data Science

    Intermediate · Specialization · 3 - 6 Months

1…244245246…394

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

  • Conflict Resolution, Negotiations and Crisis Management: O.P. Jindal Global University
  • Data Warehousing: Schema, ETL, Optimal Performance: Coursera
  • Python Scripting: Dates, Classes and Collections: LearnQuest
  • The Ultimate BPMN Course: Packt
  • Decision Tree Classifier for Beginners in R: Coursera
  • NVIDIA: LLM Experimentation, Deployment, and Ethical AI: Whizlabs
  • Microsoft Power Apps: Building Low-Code Business Apps: Logical Operations
  • Introduction to On-Device AI: DeepLearning.AI
  • Introduction to OpenAI: KodeKloud
  • Advanced Probability and Statistical Methods: Johns Hopkins University

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