• 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

    Predict Taxi Fare with a BigQuery ML Forecasting Model

    Skills you'll gain: Model Evaluation, Big Data, Predictive Modeling, Google Cloud Platform, Applied Machine Learning, Predictive Analytics, Data Processing, Forecasting, Data Management, Machine Learning

    Intermediate · Project · Less Than 2 Hours

  • Status: Free
    Free
    C

    Coursera

    Automate R scripts with GitHub Actions: Deploy a model

    Skills you'll gain: Model Deployment, Analytics, R Programming, Google Sheets, Health Informatics, Predictive Modeling, Automation, Data Manipulation, GitHub, Gmail, Git (Version Control System), Command-Line Interface

    Intermediate · Guided Project · Less Than 2 Hours

  • 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

  • Status: Preview
    Preview
    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, Customer Relationship Management, Entrepreneurship, 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

  • Status: Preview
    Preview
    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

  • Status: Preview
    Preview
    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

  • Status: Free Trial
    Free Trial
    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
    ·
    421 reviews

    Intermediate · Specialization · 3 - 6 Months

  • P

    Packt

    Data Science Model Deployments and Cloud Computing on GCP

    Skills you'll gain: Docker (Software), CI/CD, Model Deployment, Cloud Deployment, Cloud Development, Application Performance Management, Google App Engine

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Skillshare

    Blender 3D for Beginners: Learn to Model a Balloon Dog

    Skills you'll gain: 3D Modeling, Computer Graphics, Visualization (Computer Graphics), Computer Graphic Techniques, Creativity

    Mixed · Course · 1 - 4 Weeks

  • 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

    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

    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

1…192021…406

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

  • Predict Taxi Fare with a BigQuery ML Forecasting Model: Google Cloud
  • Automate R scripts with GitHub Actions: Deploy a model: Coursera
  • 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
  • Transformer Models and BERT Model - 日本語版: Google Cloud
  • Transformer Models and BERT Model - 繁體中文: Google Cloud
  • Financial Engineering and Risk Management: Columbia University
  • Data Science Model Deployments and Cloud Computing on GCP: Packt
  • Blender 3D for Beginners: Learn to Model a Balloon Dog: Skillshare
  • Create a Cosmetic Anomaly Detection Model using Visual Inspection AI: 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