• 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
    C

    Coursera

    Optimize AI: Build Robust Ensemble Models

    Skills you'll gain: Model Deployment, Model Evaluation, Decision Tree Learning, MLOps (Machine Learning Operations), Data-Driven Decision-Making, Applied Machine Learning, Analytics, A/B Testing, Predictive Modeling, Machine Learning, Predictive Analytics, Statistical Hypothesis Testing, Statistical Methods, Scalability, Machine Learning Algorithms, Random Forest Algorithm, Performance Testing, Performance Analysis, Statistical Analysis, Classification Algorithms

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    SAE Institute México

    Inteligencia Artificial para personajes en Unreal Engine

    Skills you'll gain: Unreal Engine, Animation and Game Design, 3D Modeling, Game Design, Animations, Video Game Development, Blueprinting, Artificial Intelligence

    Beginner · Course · 1 - 4 Weeks

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

    EDUCBA

    C# .NET Practical Business & Utility Application Development

    Skills you'll gain: Database Design, Relational Databases, Database Management, Database Application, Requirements Analysis, Application Deployment, C# (Programming Language), Data Validation, ASP.NET, SQL, .NET Framework, System Requirements, Business Requirements, Full-Stack Web Development, Application Development, Business Logic, Software Development Life Cycle, Data Management, User Interface (UI) Design, Systems Development

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    E

    EDUCBA

    Logistic Regression with R: Build & Predict

    Skills you'll gain: Logistic Regression, Model Evaluation, Data Preprocessing, Predictive Modeling, R Programming, Feature Engineering, Classification And Regression Tree (CART), Statistical Modeling, Risk Modeling, Applied Machine Learning, Regression Analysis, Predictive Analytics, Advanced Analytics, Machine Learning Methods, Data Manipulation, Supervised Learning, Performance Measurement, Credit Risk, Dimensionality Reduction

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    Simplilearn

    Agile Estimation Planning and Tracking Training

    Skills you'll gain: User Story, Project Estimation, Sprint Planning, Agile Project Management, Agile Methodology, Estimation, Stakeholder Communications, Backlogs, Agile Product Development, Stakeholder Management, Project Controls, Prioritization, Project Management, Forecasting, Release Management, Continuous Monitoring

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    EDUCBA

    Master Decision Trees in R: Build, Predict & Evaluate

    Skills you'll gain: Model Evaluation, Supervised Learning, Data Preprocessing, Data-Driven Decision-Making, Statistical Modeling, Classification Algorithms, Plot (Graphics)

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    G

    Google Cloud

    Manage Scalable Workloads in GKE

    Skills you'll gain: Kubernetes, Google Cloud Platform, Cloud-Native Computing, Istio, Cloud Management, Multi-Cloud, Cloud Deployment, Application Deployment, CI/CD, Scalability, Cloud Security, Configuration Management, Model Deployment, Vulnerability Scanning, AI Workflows, Role-Based Access Control (RBAC), Authentications, Authorization (Computing)

    Advanced · Course · 3 - 6 Months

  • Status: Preview
    Preview
    E

    EDUCBA

    R: Design & Evaluate Random Forests for Attrition

    Skills you'll gain: Model Evaluation, Data Preprocessing, Workforce Management, Advanced Analytics, Classification Algorithms

    Mixed · Course · 1 - 4 Weeks

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

    Coursera

    Test & Debug Java ML Pipelines

    Skills you'll gain: JUnit, MLOps (Machine Learning Operations), CI/CD, Continuous Integration, Jenkins, Test Automation, Unit Testing, DevOps, Test Case, Debugging, Code Coverage, Model Evaluation, Data Pipelines, Test Data

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Innovating with Google Cloud Artificial Intelligence - 日本語版

    Skills you'll gain: Artificial Intelligence and Machine Learning (AI/ML), Google Cloud Platform, Responsible AI, Data Quality, Cloud API, Big Data, Applied Machine Learning, Business Intelligence, Model Deployment, Natural Language Processing, Predictive Analytics

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    Design Ethical AI Rewards and Policies

    Skills you'll gain: Reinforcement Learning, Regulatory Compliance, Due Diligence, Artificial Intelligence and Machine Learning (AI/ML), Risk Analysis, Policy Analysis, Policy Development, Algorithms

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Ultimate ASP.NET Core Web API Development Guide

    Skills you'll gain: Restful API, ASP.NET, Postman API Platform, Application Programming Interface (API), API Design, Application Deployment, Web Development, Database Design, Authentications, API Testing, Microsoft Visual Studio, Data Modeling, Microsoft Azure, Secure Coding, Authorization (Computing), Maintainability, GitHub, Debugging, Version Control, Data Validation

    Intermediate · Course · 1 - 3 Months

1…393394395…406

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

  • Optimize AI: Build Robust Ensemble Models: Coursera
  • Inteligencia Artificial para personajes en Unreal Engine: SAE Institute México
  • C# .NET Practical Business & Utility Application Development: EDUCBA
  • Logistic Regression with R: Build & Predict: EDUCBA
  • Agile Estimation Planning and Tracking Training: Simplilearn
  • Master Decision Trees in R: Build, Predict & Evaluate: EDUCBA
  • Manage Scalable Workloads in GKE: Google Cloud
  • R: Design & Evaluate Random Forests for Attrition: EDUCBA
  • Test & Debug Java ML Pipelines: Coursera
  • Innovating with Google Cloud Artificial Intelligence - 日本語版: Google Cloud

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