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

Results for "quantitative model checking"


  • P

    Packt

    Accelerate Model Training with PyTorch 2.X

    Skills you'll gain: PyTorch (Machine Learning Library), Distributed Computing, Data Pipelines, Performance Tuning, MLOps (Machine Learning Operations), Deep Learning, AI Workflows, Model Deployment, Scalability, LLM Application, Hardware Architecture, Machine Learning, Computer Architecture

    Beginner · Course · 1 - 3 Months

  • E

    EDUCBA

    Predictive Analytics Model for Term Deposit Investment

    Skills you'll gain: Classification And Regression Tree (CART), Model Evaluation, Predictive Analytics, Predictive Modeling, Decision Tree Learning, Data Preprocessing, Data-Driven Decision-Making, Marketing Analytics, Feature Engineering, Classification Algorithms, Financial Forecasting, Performance Tuning

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Process Forms with AI Model in Power Automate

    Skills you'll gain: Email Automation, Microsoft Power Automate/Flow, Workflow Management, Microsoft Power Platform, Business Process Automation, Automation, Applicant Tracking Systems, Test Tools, Process Improvement, Microsoft 365

    Beginner · Guided Project · Less Than 2 Hours

  • C

    Coursera

    Evaluating Large Language Model Outputs: A Practical Guide

    Skills you'll gain: Responsible AI, Large Language Modeling, Model Evaluation, Generative AI, Data Ethics, Google Cloud Platform, Quality Assessment, Image Quality, Human Factors, Performance Metric

    4.6
    Rating, 4.6 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Machine Learning Operations with Vertex AI: Model Evaluation

    Skills you'll gain: Model Evaluation, MLOps (Machine Learning Operations), Generative AI, Continuous Monitoring, Model Deployment, Data Ethics, Scalability

    Intermediate · Course · 1 - 4 Weeks

  • B

    Board Infinity

    Scaling SAP ABAP with RESTful Programming Model (RAP)

    Skills you'll gain: ABAP RESTful Programming Model (RAP), SAP S/4HANA, Restful API, Core Data (Software), Secure Coding, Security Controls, HTML and CSS, UI Components

    4.3
    Rating, 4.3 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Model Armor: AI デプロイの保護

    Skills you'll gain: AI Security, Open Web Application Security Project (OWASP), Large Language Modeling, Model Deployment, Secure Coding, Responsible AI, Security Controls, Data Security, System Configuration, API Design, Configuration Management

    Beginner · Course · 1 - 3 Months

  • F

    Fractal Analytics

    How to Build a Diffusion Model - An Introduction

    Skills you'll gain: Model Evaluation, Generative AI, Data Preprocessing, Transfer Learning, PyTorch (Machine Learning Library), Machine Learning, Convolutional Neural Networks, Image Quality

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Model Armor: como proteger implantações de IA

    Skills you'll gain: AI Security, Large Language Modeling, Open Web Application Security Project (OWASP), Threat Modeling, Model Deployment, Security Testing, Security Controls, Security Requirements Analysis, API Design, Application Programming Interface (API), System Configuration

    Beginner · Course · 1 - 3 Months

  • G

    Google Cloud

    Model Armor: protege las implementaciones de IA

    Skills you'll gain: AI Security, Open Web Application Security Project (OWASP), Large Language Modeling, Vulnerability Management, Prompt Engineering, Application Security, Security Controls, Google Cloud Platform, API Design, Application Development, System Configuration

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Build and deploy a stroke prediction model using R

    Skills you'll gain: Feature Engineering, Model Evaluation, Predictive Modeling, Model Deployment, Predictive Analytics, R Programming, Data Analysis, Statistical Analysis, Data Cleansing, Applied Machine Learning, Data Manipulation, Tidyverse (R Package), Classification Algorithms, Risk Modeling, Data Preprocessing, Machine Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    30 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • P

    Packt

    Finalizing the Factory Model & Animating the Scene

    Skills you'll gain: Motion Graphics, Performance Tuning, Virtual Environment, Layout Design

    Intermediate · Course · 1 - 3 Months

1…171819…404

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

  • Accelerate Model Training with PyTorch 2.X: Packt
  • Predictive Analytics Model for Term Deposit Investment: EDUCBA
  • Process Forms with AI Model in Power Automate: Coursera
  • Evaluating Large Language Model Outputs: A Practical Guide: Coursera
  • Machine Learning Operations with Vertex AI: Model Evaluation: Google Cloud
  • Scaling SAP ABAP with RESTful Programming Model (RAP): Board Infinity
  • Model Armor: AI デプロイの保護: Google Cloud
  • How to Build a Diffusion Model - An Introduction: Fractal Analytics
  • Model Armor: como proteger implantações de IA: Google Cloud
  • Model Armor: protege las implementaciones de IA: 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