• 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

    Vision Models: Train and Evaluate

    Skills you'll gain: Failure Analysis, Deep Learning, Applied Machine Learning, Data Pipelines, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

  • J

    Johns Hopkins University

    Summary Statistics in Public Health

    Skills you'll gain: Biostatistics, Statistical Visualization, Epidemiology, Quantitative Research, Descriptive Statistics, Probability & Statistics, Statistical Methods, Probability Distribution, Statistics, Public Health, Sample Size Determination

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

    Beginner · Course · 1 - 3 Months

  • P

    Pragmatic AI Labs

    Next-Gen AI Development with Hugging Face

    Skills you'll gain: Prompt Engineering, Hugging Face, Model Deployment, MLOps (Machine Learning Operations), CI/CD, Continuous Deployment, Model Evaluation, Applied Machine Learning, Continuous Integration, Transfer Learning, Data Processing, Data Preprocessing, Image Analysis, Large Language Modeling, Rust (Programming Language), Natural Language Processing, Generative AI, AI Orchestration, Data Validation, Cloud Deployment

    Beginner · Specialization · 3 - 6 Months

  • P

    Packt

    Building AI Intensive Python Applications

    Skills you'll gain: Large Language Modeling, Vector Databases, Embeddings, Generative AI, LLM Application, Retrieval-Augmented Generation, Natural Language Processing, AI Security, Application Design, Prompt Engineering, Python Programming, Model Evaluation, Data Modeling, Artificial Intelligence, Metadata Management, MongoDB

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Basics of Healthcare Data Analytics: Boost Patient Outcomes

    Skills you'll gain: Data Integrity, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Dashboard, Data Storytelling, Health Information Management, Data Cleansing, Health Informatics, Data Governance, Clinical Data Management, Patient Safety, Data Visualization, Data Security, Health Information Management and Medical Records, Data Analysis, Data Validation, Data Transformation, Statistical Analysis, Microsoft Excel, Data-Driven Decision-Making, SQL

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Grow Trees & Powerful Ensembles

    Skills you'll gain: Classification And Regression Tree (CART), Model Deployment, Decision Tree Learning, Predictive Modeling, Model Evaluation, Feature Engineering, Machine Learning Methods, Random Forest Algorithm, Applied Machine Learning, Performance Tuning, Statistical Machine Learning, Scikit Learn (Machine Learning Library), Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Financial Data Analysis with Excel, Python and Power BI

    Skills you'll gain: Data Cleansing, Power BI, Dashboard, Statistical Analysis, Data Quality, R Programming, Budgeting, Data Import/Export, Excel Formulas, Microsoft Excel, Financial Analysis, Data Analysis, Data Transformation, Pandas (Python Package), Financial Modeling, Pivot Tables And Charts, Business Intelligence, Extract, Transform, Load, Performance Analysis, Data Modeling

    Intermediate · Course · 3 - 6 Months

  • Status: Hands-On Projects
    Hands-On Projects
    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, Sampling (Statistics), Proposal Writing, Supplier Management, Accountability, Data Ethics, Sustainability Reporting, Database Design, Supervised Learning

    Earn a degree

    Degree · 1 - 4 Years

  • C

    Coursera

    Evaluate Vision Errors: Identify Failure Patterns

    Skills you'll gain: Image Analysis, Computer Vision, Model Evaluation, Analysis, Debugging, Failure Mode And Effects Analysis, Exploratory Data Analysis, Root Cause Analysis, Data Visualization, Quality Assurance, Statistical Reporting

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Generative AI with Python

    Skills you'll gain: Retrieval-Augmented Generation, Vector Databases, Agentic systems, AI Workflows, Hugging Face, CrewAI, Embeddings, Transfer Learning

    Intermediate · Course · 3 - 6 Months

  • E

    EDUCBA

    Build a Product Listing Website Using VBScript

    Skills you'll gain: Database Design, Frontend Integration, Database Application, Web Applications, Web Development, Authentications, Web Design and Development, Full-Stack Web Development, Back-End Web Development, User Accounts, Data Management, Visual Basic (Programming Language), Scripting Languages, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • Y

    Yale University

    The Science of Well-Being for Teens

    Skills you'll gain: Positivity, Mental Health, Goal Setting, Growth Mindedness, Stress Management, Resilience, Productivity, Self-Awareness, Compassion, Behavioral Health, Psychology, Mindfulness, Social Impact, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    813 reviews

    Beginner · Course · 1 - 3 Months

1…767778…398

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

  • Vision Models: Train and Evaluate: Coursera
  • Summary Statistics in Public Health : Johns Hopkins University
  • Next-Gen AI Development with Hugging Face: Pragmatic AI Labs
  • Building AI Intensive Python Applications: Packt
  • Basics of Healthcare Data Analytics: Boost Patient Outcomes: Coursera
  • Grow Trees & Powerful Ensembles: Coursera
  • Financial Data Analysis with Excel, Python and Power BI : Coursera
  • Master of Science in Electrical and Computer Engineering: University of Colorado Boulder
  • Evaluate Vision Errors: Identify Failure Patterns: Coursera
  • Generative AI with Python: Packt

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