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

Results for "quantitative model checking"


  • U

    University of California, Davis

    Animation with JavaScript and jQuery

    Skills you'll gain: jQuery, Javascript and jQuery, UI Components, Scripting, Cascading Style Sheets (CSS), HTML and CSS, Javascript, Hypertext Markup Language (HTML), Web Development Tools, Animations, User Interface (UI) Design

    4.8
    Rating, 4.8 out of 5 stars
    ·
    127 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Generative AI and Large Language Models

    Skills you'll gain: Generative AI, Generative Model Architectures, Large Language Modeling, LLM Application, Generative Adversarial Networks (GANs), Retrieval-Augmented Generation, OpenAI, Hugging Face, Multimodal Prompts, Responsible AI, Embeddings, Prompt Engineering, AI Security, Autoencoders, Vision Transformer (ViT), Model Deployment, Image Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Deep Learning with PyTorch : Object Localization

    Skills you'll gain: PyTorch (Machine Learning Library), Image Analysis, Convolutional Neural Networks, Computer Vision, Transfer Learning, Applied Machine Learning, Model Evaluation, Deep Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    49 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • U

    University of Cape Town

    How Entrepreneurs in Emerging Markets can master the Blockchain Technology

    Skills you'll gain: Blockchain, Cryptography, FinTech, Emerging Technologies, Machine Learning, Financial Data, Artificial Intelligence, Financial Systems, Supervised Learning, Information Privacy, Entrepreneurship, Technology Strategies, Unsupervised Learning, Data Integrity, Distributed Computing, Data Management, Reinforcement Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    44 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Politecnico di Milano

    Modelling and measuring the Energy Transition

    Skills you'll gain: Product Lifecycle Management, Climate Change Mitigation, Energy and Utilities, Environmental Science, Sustainable Development, Mathematical Modeling, Sustainable Engineering, Analysis, Microsoft Excel, Process Analysis, Business Modeling, Data Literacy, Scenario Testing, Open Source Technology

    4.4
    Rating, 4.4 out of 5 stars
    ·
    27 reviews

    Beginner · Course · 1 - 4 Weeks

  • M

    MathWorks

    Data Science Project: MATLAB for the Real World

    Skills you'll gain: Data Storytelling, Model Evaluation, Feature Engineering, Exploratory Data Analysis, Data Science, Machine Learning, Data Analysis, Data Preprocessing, Matlab, Technical Communication, Predictive Modeling, Data Manipulation, Data Import/Export

    4.7
    Rating, 4.7 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Minnesota

    Social Determinants of Health: Data to Action

    Skills you'll gain: Social Determinants Of Health, Health Equity, Health Disparities, Health Systems, Community Health, Public Health, Health Informatics, Healthcare Ethics, Health Policy, Maternal Health, Systems Thinking, Statistical Software, Data Analysis, Box Plots, Data Ethics, Substance Abuse, Research Methodologies, Correlation Analysis, Scatter Plots, Environmental Monitoring

    4.8
    Rating, 4.8 out of 5 stars
    ·
    21 reviews

    Beginner · Specialization · 3 - 6 Months

  • N

    National Taiwan University

    工程資訊管理 BIM 塑模

    Skills you'll gain: Autodesk Revit, Building Information Modeling, Structural Engineering, Architectural Engineering, Construction, Software Installation, Engineering Drawings, Computer-Aided Design, Construction Engineering, 3D Modeling, Civil Engineering

    4.7
    Rating, 4.7 out of 5 stars
    ·
    45 reviews

    Mixed · Course · 1 - 3 Months

  • H

    HEC Paris

    CAPSTONE: Your Leadership Challenge

    Skills you'll gain: Storytelling, Leadership, Self-Awareness, Relationship Building, Strategic Leadership, Accountability, Resilience, Personal Development, Business Leadership, Organizational Leadership, Professional Development, Innovation, Presentations, Forecasting, Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    78 reviews

    Mixed · Course · 1 - 3 Months

  • 2

    28DIGITAL

    Advanced Recommender Systems

    Skills you'll gain: AI Personalization, Applied Machine Learning, Dimensionality Reduction, Feature Engineering, Machine Learning, Model Evaluation, Algorithms, Performance Tuning

    3.8
    Rating, 3.8 out of 5 stars
    ·
    23 reviews

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    AutoCAD Architectural Design & Residential Planning

    Skills you'll gain: Architectural Drawing, AutoCAD, Architectural Design, Technical Drawing, Engineering Drawings, Civil and Architectural Engineering, Drafting and Engineering Design, Computer-Aided Design, Building Design, As-Built Drawings, AutoCAD Civil 3D, Architectural Engineering, Structural Engineering, Electrical Wiring, Structural Analysis, Functional Design, Conceptual Design, Layout Design, Construction Estimating, 3D Modeling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    17 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Hot New Release
    Hot New Release
    E

    EDUCBA

    Python Developer: From Basics to Case Studies

    Skills you'll gain: Cryptography, Object Oriented Programming (OOP), File I/O, Encryption, Data Structures, Software Development, Data Visualization, Model Evaluation, Automation, Machine Learning Algorithms, Classification Algorithms, Data Preprocessing, Public Key Cryptography Standards (PKCS), Databases, Python Programming, Natural Language Processing, Algorithms, Key Management, Software Installation, Data Validation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    104 reviews

    Beginner · Specialization · 3 - 6 Months

1…210211212…396

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

  • Animation with JavaScript and jQuery: University of California, Davis
  • Generative AI and Large Language Models: Coursera
  • Deep Learning with PyTorch : Object Localization: Coursera
  • How Entrepreneurs in Emerging Markets can master the Blockchain Technology: University of Cape Town
  • Modelling and measuring the Energy Transition: Politecnico di Milano
  • Data Science Project: MATLAB for the Real World: MathWorks
  • Social Determinants of Health: Data to Action: University of Minnesota
  • 工程資訊管理 BIM 塑模: National Taiwan University
  • CAPSTONE: Your Leadership Challenge: HEC Paris
  • Advanced Recommender Systems: 28DIGITAL

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