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

Results for "quantitative model checking"


  • G

    Google Cloud

    Transformer Models and BERT Model - 日本語版

    Skills you'll gain: Natural Language Processing, Large Language Modeling, Transfer Learning, Generative Model Architectures

    Advanced · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Transformer Models and BERT Model - 繁體中文

    Skills you'll gain: Natural Language Processing, Large Language Modeling, Transfer Learning, Generative Model Architectures, Text Mining, Applied Machine Learning

    Advanced · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Autoscaling TensorFlow Model Deployments with TF Serving and Kubernetes

    Skills you'll gain: Google Cloud Platform, Model Deployment, Tensorflow, Kubernetes, Scalability, Cloud Deployment, Image Analysis, Applied Machine Learning, Cloud Computing, MLOps (Machine Learning Operations), Convolutional Neural Networks, Cloud Management, Cloud Storage, Data Management

    Intermediate · Project · Less Than 2 Hours

  • K

    Kennesaw State University

    Business Model Canvas: A Tool for Entrepreneurs and Innovators (Project-Centered Course)

    Skills you'll gain: Value Propositions, Business Modeling, Presentations, Customer Analysis, Innovation, Business Process, Customer Relationship Management, Entrepreneurship, Target Market, Marketing Channel, Business Strategy, Strategic Partnership, Cost Management, Revenue Management, Resource Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    697 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Columbia University

    Financial Engineering and Risk Management

    Skills you'll gain: Portfolio Management, Derivatives, Financial Market, Securities (Finance), Investment Management, Portfolio Risk, Asset Management, Credit Risk, Mortgage Loans, Mathematical Modeling, Applied Mathematics, Capital Markets, Financial Modeling, Risk Modeling, Regression Analysis, Market Liquidity, Futures Exchange, Risk Management, Equities, Actuarial Science

    4.6
    Rating, 4.6 out of 5 stars
    ·
    420 reviews

    Intermediate · Specialization · 3 - 6 Months

  • G

    Google Cloud

    Create a Cosmetic Anomaly Detection Model using Visual Inspection AI

    Skills you'll gain: Model Evaluation, Anomaly Detection, Model Deployment, Image Analysis, Google Cloud Platform, Computer Vision, Data Import/Export, AI Enablement, Data Management

    Beginner · Project · Less Than 2 Hours

  • G

    Google Cloud

    Create a Component Anomaly Detection Model using Visual Inspection AI

    Skills you'll gain: Anomaly Detection, Model Evaluation, Image Analysis, Computer Vision, Google Cloud Platform, Predictive Modeling, Artificial Intelligence, Product Development

    Beginner · Project · Less Than 2 Hours

  • G

    Google Cloud

    Getting started with the Vertex AI Gemini 1.5 Pro Model

    Skills you'll gain: Google Gemini, Generative AI, Multimodal Prompts, Google Cloud Platform, Image Analysis, Analysis, Unstructured Data, Data Analysis

    Beginner · Project · Less Than 2 Hours

  • G

    Google Cloud

    Build an application to send Chat Prompts using the Gemini model

    Skills you'll gain: Gemini, Generative AI, LLM Application, Prompt Engineering, Google Cloud Platform, AI Enablement, AI Personalization

    Beginner · Project · Less Than 2 Hours

  • G

    Google Cloud

    Machine Learning Operations (MLOps) with Vertex AI: Model Evaluation - Français

    Skills you'll gain: Model Evaluation, MLOps (Machine Learning Operations), Generative AI, Continuous Monitoring, Google Cloud Platform, Predictive Modeling, Responsible AI, Data Quality

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Machine Learning Operations (MLOps) with Vertex AI: Model Evaluation - Deutsch

    Skills you'll gain: Model Evaluation, MLOps (Machine Learning Operations), Generative AI, Continuous Monitoring, Model Deployment, Google Cloud Platform

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    MMachine Learning Operations (MLOps) with Vertex AI: Model Evaluation - 한국어

    Skills you'll gain: Model Evaluation, Generative AI, Continuous Monitoring, Google Cloud Platform, Responsible AI, MLOps (Machine Learning Operations), Predictive Modeling

    Intermediate · Course · 1 - 4 Weeks

1…192021…404

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

  • Transformer Models and BERT Model - 日本語版: Google Cloud
  • Transformer Models and BERT Model - 繁體中文: Google Cloud
  • Autoscaling TensorFlow Model Deployments with TF Serving and Kubernetes: Google Cloud
  • Business Model Canvas: A Tool for Entrepreneurs and Innovators (Project-Centered Course): Kennesaw State University
  • Financial Engineering and Risk Management: Columbia University
  • Create a Cosmetic Anomaly Detection Model using Visual Inspection AI: Google Cloud
  • Create a Component Anomaly Detection Model using Visual Inspection AI: Google Cloud
  • Getting started with the Vertex AI Gemini 1.5 Pro Model: Google Cloud
  • Build an application to send Chat Prompts using the Gemini model: Google Cloud
  • Machine Learning Operations (MLOps) with Vertex AI: Model Evaluation - Français: 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