• 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: Free Trial
    Free Trial
    U

    University of Miami

    Additive Manufacturing Scientific Concepts and Applications

    Skills you'll gain: Manufacturing Processes, Materials science, Product Engineering, Mechanical Engineering, Engineering, Automation, Manufacturing Operations, Biomedical Engineering, Manufacturing and Production, Emerging Technologies, 3D Modeling, Prototyping, Artificial Intelligence, Biotechnology, Machine Learning

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    E

    Edureka

    Data Engineering Workflow Orchestration with Airflow

    Skills you'll gain: Apache Airflow, CI/CD, Data Pipelines, Continuous Deployment, Workflow Management, Site Reliability Engineering, Data Engineering, Model Deployment, Data Quality, Version Control, PostgreSQL, Git (Version Control System), Python Programming, Debugging, SQL, Production Management, Scheduling, Unit Testing, Linux Commands, Web Servers

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    AI Product Manager Explorer

    Skills you'll gain: Feature Engineering, AI Product Strategy, BeeAI, LangChain, Machine Learning, Data Preprocessing, Supervised Learning, ChatGPT, Artificial Intelligence, OpenAI, Python Programming, Model Evaluation, Agentic systems, Model Deployment, Regression Analysis

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Core Machine Learning & Evaluation

    Skills you'll gain: Model Evaluation, Supervised Learning, Feature Engineering, Applied Machine Learning, Machine Learning, Machine Learning Algorithms, Statistical Machine Learning, Predictive Modeling, Artificial Intelligence and Machine Learning (AI/ML), Data Preprocessing, Scikit Learn (Machine Learning Library), Random Forest Algorithm, Regression Analysis, Classification Algorithms, Logistic Regression, Performance Tuning

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    N

    NVIDIA

    AI Infrastructure and Operations Fundamentals

    Skills you'll gain: Artificial Intelligence and Machine Learning (AI/ML), Generative AI, Large Language Modeling, MLOps (Machine Learning Operations), Artificial Intelligence, Cloud Computing, Model Deployment, Cloud Infrastructure, AI Orchestration, Infrastructure Architecture, Data Infrastructure, Devops Tools, IT Infrastructure, Information Technology Operations, Deep Learning, Network Infrastructure, Hardware Architecture, Machine Learning, Data Centers, Computer Architecture

    4.6
    Rating, 4.6 out of 5 stars
    ·
    484 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    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

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Data Science: Statistics and Machine Learning

    Skills you'll gain: Shiny (R Package), Rmarkdown, Model Evaluation, Regression Analysis, Exploratory Data Analysis, Statistical Inference, Predictive Modeling, Statistical Hypothesis Testing, Machine Learning Algorithms, Plotly, Interactive Data Visualization, Probability & Statistics, Statistical Machine Learning, Data Presentation, Data Visualization, Statistical Analysis, Statistical Modeling, R Programming, Machine Learning, GitHub

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

    Intermediate · Specialization · 3 - 6 Months

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

    EDUCBA

    Develop and Extend WordPress Plugins for Movie Directories

    Skills you'll gain: WordPress, Secure Coding, Data Store, Data Management, Content Management Systems, Data Security, Data Persistence, Database Development, Content Management, PHP (Scripting Language), Back-End Web Development, Maintainability, Program Development, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    G

    Google Cloud

    KI-Modelle mit Cloud Run bereitstellen und skalieren

    Skills you'll gain: Model Deployment, Google Cloud Platform, Serverless Computing, Cloud Deployment, Generative AI, Data Storage Technologies, AI Enablement, Data Storage, Cloud Services, Cloud Storage, Artificial Intelligence, Performance Tuning

    Beginner · Course · 1 - 4 Weeks

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

    EDUCBA

    Apply R Techniques for Telecom Customer Churn Prediction

    Skills you'll gain: Feature Engineering, Data Preprocessing, Applied Machine Learning, Model Evaluation, R Programming, Data Transformation, Data Manipulation, Data Cleansing, Predictive Modeling, Predictive Analytics, Supervised Learning, Classification Algorithms, Machine Learning Algorithms

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    Build Powerful AI Agents with OpenAI Tools

    Skills you'll gain: AI Orchestration, AI Workflows, LangGraph, Agentic systems, OpenAI API, Model Deployment, Enterprise Application Management, Tool Calling, OAuth, Generative AI Agents, Middleware, Prompt Engineering, Real Time Data, Interoperability, API Gateway, LLM Application, Agentic Workflows, Enterprise Architecture, Software Development Tools, Application Deployment

    Intermediate · Professional Certificate · 3 - 6 Months

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

    Coursera

    Design & Optimize SQL Database Schemas

    Skills you'll gain: Database Design, Database Development, SQL, Database Architecture and Administration, Data Modeling, Database Management, Technical Documentation

    Advanced · Course · 1 - 4 Weeks

1…343536…404

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

  • Additive Manufacturing Scientific Concepts and Applications: University of Miami
  • Data Engineering Workflow Orchestration with Airflow: Edureka
  • AI Product Manager Explorer: Packt
  • Core Machine Learning & Evaluation: Packt
  • AI Infrastructure and Operations Fundamentals: NVIDIA
  • Next-Gen AI Development with Hugging Face: Pragmatic AI Labs
  • Data Science: Statistics and Machine Learning: Johns Hopkins University
  • Develop and Extend WordPress Plugins for Movie Directories: EDUCBA
  • KI-Modelle mit Cloud Run bereitstellen und skalieren: Google Cloud
  • Apply R Techniques for Telecom Customer Churn Prediction: EDUCBA

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