• 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

    Optimizing and Deploying Computer Vision Models

    Skills you'll gain: Model Evaluation, Image Analysis, Computer Vision, Model Deployment, Convolutional Neural Networks, MLOps (Machine Learning Operations), Transfer Learning, Data Analysis, Deep Learning, Exploratory Data Analysis, Failure Analysis, Data Preprocessing, Workflow Management, Data Transformation, Experimentation, Performance Analysis, Data Quality, Artificial Neural Networks, Data Manipulation, Performance Metric

    Intermediate · Course · 1 - 3 Months

  • M

    Microsoft

    MLOps and responsible AI practices

    Skills you'll gain: Responsible AI, MLOps (Machine Learning Operations), Azure DevOps, Generative AI, Microsoft Azure, Model Deployment, AI Workflows, CI/CD, Version Control, Data Ethics, Artificial Intelligence, Model Evaluation, Git (Version Control System), Automation, System Monitoring, Continuous Monitoring

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Clean & Maintain Lists

    Skills you'll gain: Email Marketing, Data Cleansing, Performance Analysis, Performance Measurement, Key Performance Indicators (KPIs), Marketing Effectiveness, Data Quality, Data Maintenance, Data Validation, Process Improvement and Optimization

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    利用 Gemini CLI 加快应用开发速度

    Skills you'll gain: Gemini, Generative AI Agents, Command-Line Interface, Model Context Protocol, Application Development, Code Review, Development Environment, Software Installation, Application Security

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    RAG-Driven Generative AI

    Skills you'll gain: Generative AI, OpenAI, Data Pipelines, Data Preprocessing, Deep Learning, Scalability, Artificial Intelligence, Model Evaluation, Natural Language Processing, Machine Learning, Data Science

    Advanced · Course · 1 - 3 Months

  • E

    EDUCBA

    Build Employee Management System with Jenkins

    Skills you'll gain: Jenkins, CI/CD, Continuous Integration, Version Control, Git (Version Control System), Java, Data Validation, Application Development, Object Oriented Programming (OOP), Software Architecture, Data Modeling

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    GenAI Wellness: Prompt, Evaluate, Thrive

    Skills you'll gain: Prompt Engineering, Patient Preparation, Health And Wellness Coaching, Responsible AI, Empathy & Emotional Intelligence, Model Evaluation, User Acceptance Testing (UAT), Artificial Intelligence, Crisis Intervention, Risk Analysis, Technical Communication, Decision Making

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Mastering PCB Design and Layout

    Skills you'll gain: AI Security, USB, Threat Modeling, Hardware Design, Electronic Hardware, Model Deployment, CI/CD, Electronics, Security Engineering, Electrical Systems, Electronics Engineering, Routing Protocols, Electrical Power, Power Electronics, Design Reviews, Computer-Aided Design, Electronic Components, Schematic Diagrams, Technical Design, Design

    Intermediate · Specialization · 1 - 3 Months

  • U

    Universidade Estadual de Campinas

    Revisão Sistemática e Meta-análise

    Skills you'll gain: Data Synthesis, Data Collection, Research, Research Design, Research Reports, Research Methodologies, Clinical Research, Quantitative Research, Peer Review, Statistical Methods, Report Writing, Data Quality, Epidemiology, Statistical Analysis, Qualitative Research, Risk Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    3K reviews

    Intermediate · Course · 1 - 3 Months

  • L

    LearnQuest

    Microsoft Azure: AI, Infrastructure, and Data Solutions

    Skills you'll gain: Cloud Infrastructure, Microsoft Azure, Infrastructure As A Service (IaaS), Data Processing, Big Data, Apache Spark, Artificial Intelligence and Machine Learning (AI/ML), Databricks, Infrastructure Security, Data Pipelines, Virtual Networking, Azure DevOps, Virtual Machines, Azure Active Directory, Analytics, Active Directory, Network Security, Model Deployment, Python Programming, Role-Based Access Control (RBAC)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    1.6K reviews

    Beginner · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Analyze and Automate Splunk Reporting with Data Models

    Skills you'll gain: Splunk, Interactive Data Visualization, Data Storytelling, Pivot Tables And Charts, Data Presentation, Dashboard, Ad Hoc Reporting, Data Modeling, Data Visualization Software, Performance Tuning

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Chroma, Weaviate & Production RAG Deployment

    Skills you'll gain: Retrieval-Augmented Generation, Vector Databases, Generative AI, Performance Tuning, Data Migration, LangChain, LLM Application, Metadata Management, Document Management, Data Infrastructure, Large Language Modeling, Prompt Patterns, Embeddings, Data Modeling, Agentic systems, Data Integrity, Scalability, Docker (Software), Semantic Web, Query Languages

    Intermediate · Specialization · 3 - 6 Months

1…838485…399

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

  • Optimizing and Deploying Computer Vision Models: Coursera
  • MLOps and responsible AI practices: Microsoft
  • Clean & Maintain Lists: Coursera
  • 利用 Gemini CLI 加快应用开发速度: Google Cloud
  • RAG-Driven Generative AI: Packt
  • Build Employee Management System with Jenkins: EDUCBA
  • GenAI Wellness: Prompt, Evaluate, Thrive: Coursera
  • Mastering PCB Design and Layout: Coursera
  • Revisão Sistemática e Meta-análise: Universidade Estadual de Campinas
  • Microsoft Azure: AI, Infrastructure, and Data Solutions: LearnQuest

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