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

Results for "quantitative model checking"


  • M

    Michigan State University

    Concept Art for Video Games

    Skills you'll gain: 3D Modeling, 3D Assets, Computer Graphics, Visualization (Computer Graphics), Video Game Development, Adobe Photoshop, Animation and Game Design, Conceptual Design, Photo Editing, Computer Graphic Techniques, Visual Storytelling, Graphic and Visual Design, Data Import/Export, Design Elements And Principles, Color Theory

    ★ 4.6 (115) · Mixed · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    Duke University

    Databricks to Local LLMs

    Skills you'll gain: Databricks, Model Deployment, Generative AI, Data Lakes, Extract, Transform, Load, MLOps (Machine Learning Operations), Data Transformation, LLM Application, Data Pipelines, Hugging Face, Large Language Modeling, Apache Spark, Responsible AI, Analytics, Data Analysis, Data Processing, Data Science, Machine Learning

    ★ 3.9 (12) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • P

    Politecnico di Milano

    Platform Thinking: designing a Platform

    Skills you'll gain: Systems Thinking, Innovation, Product Development, Entrepreneurship, Strategic Thinking, Computing Platforms, New Business Development, Business Strategies, Business Modeling, Growth Strategies, Business Transformation, Target Market, Customer Analysis, Value Propositions, Case Studies

    ★ 4.7 (19) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Deep Learning with PyTorch : Object Localization

    Skills you'll gain: PyTorch (Machine Learning Library), Model Training, Fine-tuning, Image Analysis, Convolutional Neural Networks, Computer Vision, Transfer Learning, Model Evaluation, Deep Learning, Data Preprocessing

    ★ 4.6 (49) · Intermediate · Guided Project · Less Than 2 Hours

    Category: Free
    Free
    Category: Credit offered
    Credit offered
  • C

    Coursera

    PowerBI for Beginners: Data transformation

    Skills you'll gain: Power BI, Data Transformation, Data Preprocessing, Data Manipulation, Data Cleansing, Data Integration, Data Wrangling, Predictive Modeling

    ★ 4.8 (28) · Beginner · Guided Project · Less Than 2 Hours

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • P

    Packt

    CCNA Expert – Network Automation, Cloud, and Emerging Technologies

    Skills you'll gain: Wireless Networks, Cloud Computing, Network Monitoring, Network Security, Cloud Computing Architecture, Cloud Platforms, Event Monitoring, Network Performance Management, Cloud Services, Cloud Deployment, Local Area Networks, Software-Defined Networking, General Networking, Ansible, Network Administration, IT Automation, Authentications, Network Engineering, Virtualization, Network Infrastructure

    ★ 4.6 (28) · Advanced · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • W

    Whizlabs

    Exam Prep MLA-C01: AWS Machine Learning Engineer Associate

    Skills you'll gain: MLOps (Machine Learning Operations), Feature Engineering, Model Optimization, AWS Kinesis, Fraud detection, Amazon Web Services, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Data Cleansing, Data Processing, Data Wrangling, Data Integrity, Machine Learning, Machine Learning Algorithms, Data Modeling, Supervised Learning, Data Mining, Random Forest Algorithm, Data Management, Unsupervised Learning

    ★ 3.9 (10) · Intermediate · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • K

    Khalifa University

    AI for Executives

    Skills you'll gain: Data Strategy, Customer Relationship Management (CRM) Software, Data Management, AI Personalization, Sales Enablement, Model Deployment, Feature Engineering, Data Governance, Responsible AI, Model Evaluation, AI Integrations, Data Preprocessing, Customer Analysis, Transfer Learning, Customer Data Management, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Reinforcement Learning, Natural Language Processing

    ★ 4.3 (7) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • A

    Alfaisal University | KLD

    أساسيات الذكاء الاصطناعي والبيانات الضخمة | AI

    Skills you'll gain: Computer Vision, Natural Language Processing, Robotics, Applied Machine Learning, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Big Data, Artificial Intelligence, AI literacy, Supervised Learning, Decision Support Systems, Reinforcement Learning

    ★ 4.9 (246) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • C

    Corporate Finance Institute

    Classification - Fundamentals & Practical Applications

    Skills you'll gain: Classification Algorithms, Model Evaluation, Machine Learning Algorithms, Model Training, Logistic Regression, Predictive Modeling, Applied Machine Learning, Machine Learning Methods, Analytics, Advanced Analytics, Machine Learning, Scikit Learn (Machine Learning Library), Performance Metric

    ★ 4.3 (6) · Advanced · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Florida

    Fixing Healthcare Delivery 2.0: Advanced Lean

    Skills you'll gain: Lean Methodologies, Patient-centered Care, Patient Safety, Patient Flow, Scientific Methods, Health Systems, Continuous Quality Improvement (CQI), Healthcare Industry Knowledge, Process Modeling

    ★ 4.7 (44) · Mixed · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • B

    Board Infinity

    Building Applications with Spring Boot and MVC Architecture

    Skills you'll gain: Software Documentation, Java, API Design, Java Programming, Back-End Web Development, Application Programming Interface (API), Frontend Integration, Enterprise Application Management, Application Deployment, Databases, Data Persistence

    ★ 3.9 (11) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…229230231…444

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

  • Concept Art for Video Games: Michigan State University
  • Databricks to Local LLMs: Duke University
  • Platform Thinking: designing a Platform: Politecnico di Milano
  • Deep Learning with PyTorch : Object Localization: Coursera
  • PowerBI for Beginners: Data transformation: Coursera
  • CCNA Expert – Network Automation, Cloud, and Emerging Technologies: Packt
  • Exam Prep MLA-C01: AWS Machine Learning Engineer Associate: Whizlabs
  • AI for Executives: Khalifa University
  • أساسيات الذكاء الاصطناعي والبيانات الضخمة | AI: Alfaisal University | KLD
  • Classification - Fundamentals & Practical Applications: Corporate Finance Institute

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