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

Results for "quantitative model checking"


  • E

    EDUCBA

    Understand and Apply Artificial Intelligence Fundamentals

    Skills you'll gain: Artificial Intelligence and Machine Learning (AI/ML), Data Ethics, Data-Driven Decision-Making

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    AI Engineering and Deployment

    Skills you'll gain: Model Deployment, Tensorflow, Recurrent Neural Networks (RNNs), BeeAI, Keras (Neural Network Library), Transfer Learning, Deep Learning, Convolutional Neural Networks, Responsible AI, Agentic systems, Artificial Intelligence, AI Security, Scalability, Applied Machine Learning, Machine Learning

    Advanced · Course · 1 - 4 Weeks

  • P

    Packt

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

    Intermediate · Course · 1 - 3 Months

  • A

    American Psychological Association

    Mental Health Essentials: Mood, Eating, Sleep, and Stress

    Skills you'll gain: Stress Management, Mental Health Diseases and Disorders, Mental Health, Mental Health Therapies, Behavioral Health, Clinical Psychology, Nutrition and Diet, Social Determinants Of Health, Health Promotion, Patient Evaluation, Diagnostic Tests, Health Education, Patient Treatment, Clinical Assessment, Demography

    4.8
    Rating, 4.8 out of 5 stars
    ·
    83 reviews

    Beginner · Specialization · 3 - 6 Months

  • P

    Packt

    Fundamentals of Machine Learning

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Intermediate iOS Development with Swift Core Features

    Skills you'll gain: Application Design, Secure Coding, JSON

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Automate, Optimize, and Benchmark Data Pipelines

    Skills you'll gain: Performance Analysis, Performance Testing, Performance Measurement, Benchmarking, Data Modeling, Data Processing, Extract, Transform, Load, Data-Driven Decision-Making, Statistical Analysis

    Advanced · Course · 1 - 4 Weeks

  • 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

  • C

    Coursera

    Building Reliable LLM Systems

    Skills you'll gain: LLM Application, Model Evaluation, Large Language Modeling, Retrieval-Augmented Generation, Vector Databases, MLOps (Machine Learning Operations), Performance Tuning, Debugging, Performance Testing, Query Languages, SQL, Statistical Hypothesis Testing, Statistical Analysis, Artificial Intelligence and Machine Learning (AI/ML), Data-Driven Decision-Making, Python Programming, Pandas (Python Package)

    Intermediate · 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

  • G

    Google Cloud

    利用 Gemini CLI 加快应用开发速度

    Skills you'll gain: Gemini, Generative AI Agents, Command-Line Interface, Model Context Protocol, Application Development, Code Review, Development Environment, Software Installation, Application Security

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Pennsylvania

    Wharton Business and Financial Modeling Capstone

    Skills you'll gain: Portfolio Management, Financial Modeling, Presentations, Microsoft PowerPoint, Investment Management, Business Modeling, Data Modeling, Quantitative Research, Business Analytics, Financial Data, Portfolio Risk, Microsoft Excel, Financial Analysis, Regression Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    521 reviews

    Mixed · Course · 1 - 3 Months

1…474849…394

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

  • Understand and Apply Artificial Intelligence Fundamentals: EDUCBA
  • AI Engineering and Deployment: Packt
  • Power BI Bootcamp - Learn by Building a Real-World Project: Packt
  • Mental Health Essentials: Mood, Eating, Sleep, and Stress: American Psychological Association
  • Fundamentals of Machine Learning: Packt
  • Apply Intermediate iOS Development with Swift Core Features: EDUCBA
  • Automate, Optimize, and Benchmark Data Pipelines: Coursera
  • AI 基礎架構:AI Hypercomputer 簡介: Google Cloud
  • Building Reliable LLM Systems: Coursera
  • Next-Gen AI Development with Hugging Face: Pragmatic AI Labs

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