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

Results for "quantitative model checking"


  • C

    Coursera

    Optimize AI: Build Reusable Model Pipelines

    Skills you'll gain: Model Deployment, Scikit Learn (Machine Learning Library), Model Evaluation, Data Preprocessing, Large Language Modeling, Version Control

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Secure AI: Threat Model & Test Endpoints

    Skills you'll gain: Threat Modeling, AI Security, DevSecOps, Security Testing, Continuous Monitoring, CI/CD, Threat Detection, Secure Coding, MITRE ATT&CK Framework, DevOps, System Monitoring, Application Security, Continuous Integration, MLOps (Machine Learning Operations), Scripting, Unit Testing, Test Case, Prompt Engineering, Integration Testing

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Transformer Models and BERT Model - Français

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

    Advanced · Course · 1 - 4 Weeks

  • U

    University of California, Santa Cruz

    AI Agent Architecture with the Model Context Protocol

    Skills you'll gain: Retrieval-Augmented Generation, Model Context Protocol, Model Deployment, Generative AI Agents, AI Orchestration, Tool Calling, Context Management, Prompt Engineering, Enterprise Architecture, Model Evaluation, Embeddings, Vector Databases

    Beginner · Course · 1 - 3 Months

  • U

    University of California, Irvine

    Cluster Analysis, Association Mining, and Model Evaluation

    Skills you'll gain: Model Evaluation, Unsupervised Learning, Analysis, Regression Analysis, Statistical Analysis, Data Mining, Predictive Analytics, Anomaly Detection, Fraud detection, Machine Learning, Correlation Analysis, Probability & Statistics, Scatter Plots, Market Analysis, Classification Algorithms, Collaborative Software

    4.5
    Rating, 4.5 out of 5 stars
    ·
    47 reviews

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Transformer Models and BERT Model - Español

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

    Advanced · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Transformer Models and BERT Model - Italiano

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

    Advanced · Course · 1 - 4 Weeks

  • E

    Erasmus University Rotterdam

    Business Model Innovation for Sustainable Landscape Restoration

    Skills you'll gain: Stakeholder Analysis, Market Opportunities, Business Modeling, Sustainable Development, New Business Development, Key Performance Indicators (KPIs), Sustainable Business, Systems Analysis, Financial Analysis, Systems Thinking, Business Architecture, Innovation, Case Studies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    51 reviews

    Beginner · Course · 1 - 3 Months

  • G

    Google Cloud

    Transformer Models and BERT Model - בעברית

    Skills you'll gain: Large Language Modeling, Natural Language Processing, Transfer Learning, Text Mining, Deep Learning

    Advanced · Course · 1 - 4 Weeks

  • D

    Duke University

    Rust for Large Language Model Operations (LLMOps)

    Skills you'll gain: LLM Application, Hugging Face, Large Language Modeling, Generative AI, Rust (Programming Language), Model Deployment, MLOps (Machine Learning Operations), AWS SageMaker, Cloud Deployment, PyTorch (Machine Learning Library), CI/CD, Applied Machine Learning, Natural Language Processing, Infrastructure as Code (IaC), DevOps, Machine Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    14 reviews

    Intermediate · 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

    Advanced · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Model Armor : sécuriser les déploiements d'IA

    Skills you'll gain: AI Security, LLM Application, Large Language Modeling, Open Web Application Security Project (OWASP), Threat Modeling, Prompt Engineering, Secure Coding, Security Requirements Analysis, Google Cloud Platform, Cloud API, System Configuration, Application Programming Interface (API)

    Beginner · Course · 1 - 3 Months

1…141516…404

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

  • Optimize AI: Build Reusable Model Pipelines: Coursera
  • Secure AI: Threat Model & Test Endpoints: Coursera
  • Transformer Models and BERT Model - Français: Google Cloud
  • AI Agent Architecture with the Model Context Protocol: University of California, Santa Cruz
  • Cluster Analysis, Association Mining, and Model Evaluation: University of California, Irvine
  • Transformer Models and BERT Model - Español: Google Cloud
  • Transformer Models and BERT Model - Italiano: Google Cloud
  • Business Model Innovation for Sustainable Landscape Restoration: Erasmus University Rotterdam
  • Transformer Models and BERT Model - בעברית: Google Cloud
  • Rust for Large Language Model Operations (LLMOps): Duke University

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