• 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
    Status: Free Trial
    Free Trial
    C

    Coursera

    Optimizing and Governing AI Systems

    Skills you'll gain: Responsible AI, Risking, Data Ethics, MLOps (Machine Learning Operations), Model Deployment, AI Enablement, AI Product Strategy, System Monitoring, Model Evaluation, Performance Tuning, Compliance Management, Technology Roadmaps, Prompt Engineering, Machine Learning, Risk Management, Generative AI, Data-Driven Decision-Making, Performance Analysis, Statistical Analysis, Cross-Functional Collaboration

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Python 3 Programming

    Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), File I/O, Software Design, Debugging, Object Oriented Design, Data Processing, Web Scraping, Unit Testing, Programming Principles, Program Development, Python Programming, Data Import/Export, Restful API, Image Analysis, Data Manipulation, Jupyter, Computer Programming, Data Structures

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Excel Fundamentals for Data Analysis

    Skills you'll gain: Excel Formulas, Microsoft Excel, Data Cleansing, Data Manipulation, Data Preprocessing, Spreadsheet Software, Data Transformation, Data Validation, Data Analysis, Pivot Tables And Charts, Automation

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to Software Engineering

    Skills you'll gain: Software Development Life Cycle, Software Architecture, Software Design, Software Development Methodologies, Software Design Patterns, Development Environment, Unified Modeling Language, Software Engineering, Web Applications, Software Development, Application Deployment, Programming Principles, Front-End Web Development, Back-End Web Development, Python Programming, Software Versioning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    4.6K reviews

    Beginner · Course · 1 - 3 Months

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

    Edureka

    Advanced Deep Learning Architectures

    Skills you'll gain: Generative AI, Generative Model Architectures, Generative Adversarial Networks (GANs), Computer Vision, Image Analysis, Model Evaluation, Convolutional Neural Networks, Autoencoders, Vision Transformer (ViT), Artificial Neural Networks, Transfer Learning, Model Deployment, Deep Learning, Recurrent Neural Networks (RNNs), Embeddings, PyTorch (Machine Learning Library), Large Language Modeling, Artificial Intelligence and Machine Learning (AI/ML), AI Enablement, Artificial Intelligence

    Advanced · Specialization · 1 - 3 Months

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

    Coursera

    Master Decision Theory & Frameworks

    Skills you'll gain: Risk Analysis, Data-Driven Decision-Making, Strategic Decision-Making, Decision Making, Business Risk Management, Business Analysis, Analytical Skills, Complex Problem Solving, Microsoft Excel, Business Strategy, Probability, Quantitative Research, Mathematical Modeling

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Natural Language Processing

    Skills you'll gain: Natural Language Processing, Supervised Learning, Transfer Learning, Recurrent Neural Networks (RNNs), Markov Model, Embeddings, Text Mining, Dimensionality Reduction, Machine Learning Methods, Statistical Machine Learning, Artificial Neural Networks, Classification Algorithms, Data Preprocessing, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Feature Engineering, Applied Machine Learning, Algorithms, Keras (Neural Network Library)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    6.2K reviews

    Intermediate · Specialization · 3 - 6 Months

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

    Coursera

    Fine-Tuning and Evaluating Vision AI Models

    Skills you'll gain: Transfer Learning, Image Analysis, Computer Vision, Model Evaluation, Convolutional Neural Networks, Verification And Validation, Model Deployment, Performance Metric, Quality Assessment, Performance Tuning, Performance Measurement, Data Quality, Applied Machine Learning, Data Validation, Performance Analysis, Predictive Modeling, Statistical Machine Learning, Statistical Modeling

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Marketing Mix Implementation

    Skills you'll gain: Product Lifecycle Management, Brand Strategy, Brand Management, Customer experience strategy (CX), Branding, Brand Awareness, Price Negotiation, Product Management, Brand Loyalty, Retail Management, Marketing Channel, Strategic Marketing, Product Strategy, Revenue Management, Market Dynamics, Merchandising, Conflict Management, Market Opportunities, Marketing, Communication

    4.7
    Rating, 4.7 out of 5 stars
    ·
    6.1K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Using Databases with Python

    Skills you'll gain: Database Design, Relational Databases, SQL, Databases, Data Visualization Software, Web Scraping, Data Modeling, Object Oriented Programming (OOP), Data Processing, Geographic Information Systems, Python Programming, Application Programming Interface (API)

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

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    Stanford University

    Game Theory

    Skills you'll gain: Game Theory, Mathematical Modeling, Graph Theory, Bayesian Statistics, Behavioral Economics, Probability, Economics, Problem Solving, Algorithms, Probability Distribution

    4.6
    Rating, 4.6 out of 5 stars
    ·
    4.9K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    SQL for Data Science

    Skills you'll gain: Data Governance, SQL, Data Quality, Database Design, Query Languages, Data Modeling, Relational Databases, Data Manipulation, Data Science, Data Analysis, Descriptive Statistics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    17K reviews

    Beginner · Course · 1 - 4 Weeks

1…313233…407

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

  • Optimizing and Governing AI Systems: Coursera
  • Python 3 Programming: University of Michigan
  • Excel Fundamentals for Data Analysis: Macquarie University
  • Introduction to Software Engineering: IBM
  • Advanced Deep Learning Architectures: Edureka
  • Master Decision Theory & Frameworks: Coursera
  • Natural Language Processing: DeepLearning.AI
  • Fine-Tuning and Evaluating Vision AI Models: Coursera
  • Marketing Mix Implementation: IE Business School
  • Using Databases with Python: University of Michigan

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