• 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: Preview
    Preview
    G

    Google Cloud

    AI 인프라: AI 하이퍼컴퓨터 소개

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

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Illinois at Urbana-Champaign

    Managerial Economics & Business Analysis Graduate Certificate

    Skills you'll gain: Business Strategy, Data Visualization, Data Storytelling, Management Accounting, Model Evaluation, Fund Accounting, Operations Management, Organizational Change, Audit Planning, Mergers & Acquisitions, Financial Statement Analysis, Project Closure, Risk Management, Social Determinants Of Health, Revenue Recognition, Entrepreneurship, Financial Auditing, Data Governance, Generative AI, Supply And Demand

    Credit offered

    Graduate Certificate · 6 - 12 Months

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

    Coursera

    GenAI Ops: Running Powerful Generative AI Systems

    Skills you'll gain: Cloud Security, Emotional Intelligence, Stakeholder Management, Risking, Data Ethics, Data Governance, Data Security, Enterprise Architecture, Executive Presence, Professional Development, AI Enablement, AI Product Strategy, Infrastructure as Code (IaC), Financial Forecasting, Systems Architecture, Application Deployment, Continuous Deployment, Terraform, Incident Management, Performance Tuning

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Regression Models

    Skills you'll gain: Regression Analysis, Statistical Analysis, Statistical Modeling, Logistic Regression, Data Analysis, Model Evaluation, Probability & Statistics, Statistical Inference

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

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    A

    Arizona State University

    Professional Skills: Emotional Intelligence and Resilience

    Skills you'll gain: Empathy, Emotional Intelligence, Goal Setting, Overcoming Obstacles, Mindfulness, Productivity, Optimism, Positivity, Compassion, Growth Mindedness, Resilience, Persistence, Self-Awareness, Smart Goals, Time Management, Personal Development, Social Skills, Stress Management, Conflict Management, Active Listening

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    P

    Packt

    The Ultimate Guide to Blender 3D Rigging and Animation

    Skills you'll gain: Animations, 3D Modeling, 3D Assets, Computer Graphics, Simulations, Timelines

    Intermediate · Course · 3 - 6 Months

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

    Coursera

    Manage Leads with HubSpot

    Skills you'll gain: HubSpot CRM, Customer Relationship Management (CRM) Software, Lead Generation, Customer Relationship Management, Sales Management, Sales Pipelines, Sales Development, Customer Data Management, Marketing Automation, Return On Investment, Salesforce, Data Management, Data Entry, Data Strategy, Data Import/Export

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Build BI Pipelines

    Skills you'll gain: Looker (Software), Data Pipelines, Data Transformation, Dashboard, Automation, Scripting, Business Intelligence, Extract, Transform, Load, Data Processing, Data Warehousing, Data Integrity, Data Quality, Google Cloud Platform, Data Validation, Marketing Analytics, Auditing, SQL

    Intermediate · Course · 1 - 4 Weeks

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

    Edge Impulse

    Edge AI Fundamentals

    Skills you'll gain: MLOps (Machine Learning Operations), Artificial Intelligence and Machine Learning (AI/ML), Model Deployment, Artificial Intelligence, Machine Learning Methods, Deep Learning, Computer Vision, Anomaly Detection, Convolutional Neural Networks, Machine Learning, Cloud Computing, Internet Of Things, Product Engineering, Embedded Systems, Industrial Engineering, Data Science, Product Development

    Beginner · Course · 1 - 4 Weeks

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

    Edureka

    Neural Networks and Computer Vision Foundations

    Skills you'll gain: Computer Vision, Image Analysis, Model Evaluation, Convolutional Neural Networks, Artificial Neural Networks, PyTorch (Machine Learning Library), Artificial Intelligence and Machine Learning (AI/ML), Deep Learning, Applied Machine Learning, Embeddings, Network Architecture, Transfer Learning, Machine Learning, Recurrent Neural Networks (RNNs), Artificial Intelligence, NumPy, Python Programming, Matplotlib, Data Visualization, Data Science

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    PwC

    Data Visualization with Advanced Excel

    Skills you'll gain: Data Visualization, Data Presentation, Dashboard, Data Storytelling, Data Visualization Software, Microsoft Excel, Spreadsheet Software, Excel Formulas, Graphing, Pivot Tables And Charts, Data Modeling, Databases, Data Analysis, Simulation and Simulation Software

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

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Master of Science in Electrical and Computer Engineering

    Skills you'll gain: Prompt Engineering, User Story, New Product Development, Model Based Systems Engineering, Model Evaluation, Failure Analysis, Sustainable Business, Data Mining, Field-Programmable Gate Array (FPGA), Delegation Skills, Real-Time Operating Systems, Object Oriented Design, Project Schedules, Sampling (Statistics), Proposal Writing, Accountability, Data Ethics, Sustainability Reporting, Database Design, Supervised Learning

    Earn a degree

    Degree · 1 - 4 Years

1…383940…403

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

  • AI 인프라: AI 하이퍼컴퓨터 소개: Google Cloud
  • Managerial Economics & Business Analysis Graduate Certificate: University of Illinois at Urbana-Champaign
  • GenAI Ops: Running Powerful Generative AI Systems: Coursera
  • Regression Models: Johns Hopkins University
  • Professional Skills: Emotional Intelligence and Resilience: Arizona State University
  • The Ultimate Guide to Blender 3D Rigging and Animation: Packt
  • Manage Leads with HubSpot: Coursera
  • Build BI Pipelines: Coursera
  • Edge AI Fundamentals: Edge Impulse
  • Neural Networks and Computer Vision Foundations: Edureka

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