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

Results for "quantitative model checking"


  • C

    Coursera

    Machine Learning Made Easy for Software Engineers

    Intermediate · Specialization · 3 - 6 Months

  • T

    Technical University of Munich (TUM)

    Advanced Lean Production & Continuous Improvement

    Skills you'll gain: Lean Manufacturing, Quality Improvement, Production Schedule, Production Process, Kaizen Methodology, Quality Management, Production Management, Continuous Improvement Process, Lean Methodologies, Lean Six Sigma, Process Improvement, Scheduling, Quality Control, Operational Efficiency, Process Analysis, Business Process Management, Kanban Principles, Workflow Management, Capacity Management

    Beginner · Course · 1 - 3 Months

  • L

    LearnQuest

    Microsoft Azure: AI, Infrastructure, and Data Solutions

    Skills you'll gain: Cloud Infrastructure, Microsoft Azure, Infrastructure As A Service (IaaS), Data Processing, Big Data, Apache Spark, Artificial Intelligence and Machine Learning (AI/ML), Databricks, Infrastructure Security, Data Pipelines, Virtual Networking, Azure DevOps, Virtual Machines, Azure Active Directory, Analytics, Active Directory, Network Security, Model Deployment, Python Programming, Role-Based Access Control (RBAC)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    1.6K reviews

    Beginner · Specialization · 3 - 6 Months

  • K

    Knowledge Accelerators

    From Excel to Power BI

    Skills you'll gain: Power BI, Business Intelligence, Data Visualization, Business Reporting, Business Analytics, Data Analysis, Data Synthesis, Excel Formulas, Data Manipulation, Collaborative Software, Trend Analysis, Data Management, Data Quality

    4.5
    Rating, 4.5 out of 5 stars
    ·
    1.7K reviews

    Beginner · Course · 1 - 3 Months

  • G

    Google Cloud

    AI 基礎架構:AI Hypercomputer 簡介

    Skills you'll gain: Cloud Deployment, Google Cloud Platform, Cloud Computing Architecture, Model Deployment, Hardware Architecture, Performance Tuning, Artificial Intelligence

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Pennsylvania

    AI Fundamentals for Non-Data Scientists

    Skills you'll gain: Generative AI, Big Data, Machine Learning Algorithms, Generative Adversarial Networks (GANs), Machine Learning, Customer Data Management, Autoencoders, Artificial Intelligence, Deep Learning, Model Evaluation, Algorithms, Process Optimization, Data Analysis, Artificial Neural Networks

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

    Mixed · Course · 1 - 3 Months

  • E

    EDUCBA

    Implement RPA Bots for Social Media Monitoring

    Skills you'll gain: Robotic Process Automation, Social Media Management, Social Media, Business Process Automation, Microsoft Excel, Brand Awareness, Automation, Market Analysis, Solution Design, Marketing Automation, Secure Coding, Process Design, Image Analysis, Driving engagement, Data Import/Export, UI Components, Web Scraping, Process Flow Diagrams, Project Documentation, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Apply AI Techniques & Prescriptives

    Skills you'll gain: Operations Research, Strategic Thinking, Strategic Decision-Making, Business Strategy, AI Enablement, Business Analytics, Operational Analysis, Advanced Analytics, Analytics, Process Optimization, Applied Machine Learning, Process Improvement and Optimization, Predictive Modeling, Predictive Analytics, Artificial Intelligence, Statistical Modeling, Decision Making, Resource Allocation, Performance Analysis, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • L

    LearnKartS

    Master Microsoft Excel with Copilot

    Skills you'll gain: Prompt Engineering, Excel Formulas, Microsoft Copilot, Microsoft Excel, Pivot Tables And Charts, Data Cleansing, Data Visualization, Excel Macros, Data Literacy, Data Presentation, Data Manipulation, Spreadsheet Software, Data Entry, Data Quality, Data Transformation, Data Validation, Data Analysis, Workflow Management, AI Workflows, Decision Making

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Process Images & Extract Motion Features

    Skills you'll gain: Data Preprocessing, Computer Vision, Image Analysis, Real Time Data, Convolutional Neural Networks, Data Transformation, NumPy

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Power BI Bootcamp - Learn by Building a Real-World Project

    Skills you'll gain: Power BI, Data Analysis Expressions (DAX), Data Modeling, Microsoft Power Platform, Data Analysis, Business Intelligence, Star Schema, Data Transformation, Snowflake Schema, Dashboard, Data Visualization Software, Data Integration, Data Manipulation, Data Cleansing, Interactive Data Visualization, Data Presentation, Data Import/Export

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Design and Assemble a Kids Bicycle Using SolidWorks

    Skills you'll gain: SolidWorks (CAD), Assembly Drawing, 3D Modeling, Computer-Aided Design, Drafting and Engineering Design, Mechanical Design, Design Specifications, Functional Design, Simulation and Simulation Software, Visualization (Computer Graphics), Equipment Design, Geometric Dimensioning And Tolerancing, Functional Requirement

    Intermediate · Course · 1 - 3 Months

1…383940…398

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

  • Machine Learning Made Easy for Software Engineers: Coursera
  • Advanced Lean Production & Continuous Improvement: Technical University of Munich (TUM)
  • Microsoft Azure: AI, Infrastructure, and Data Solutions: LearnQuest
  • From Excel to Power BI: Knowledge Accelerators
  • AI 基礎架構:AI Hypercomputer 簡介: Google Cloud
  • AI Fundamentals for Non-Data Scientists: University of Pennsylvania
  • Implement RPA Bots for Social Media Monitoring: EDUCBA
  • Apply AI Techniques & Prescriptives: Coursera
  • Master Microsoft Excel with Copilot: LearnKartS
  • Process Images & Extract Motion Features: Coursera

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