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

Results for "quantitative model checking"


  • Status: Free
    Free
    S

    Special Competitive Studies Project

    AI in National Security: Integrating Artificial Intelligence into Public Sector Missions

    Skills you'll gain: AI Enablement, AI Security, Model Evaluation, Productivity Software, Artificial Intelligence, Responsible AI, AI Workflows, Organizational Change, Operational Efficiency, Prompt Engineering, Generative AI

    4.6
    Rating, 4.6 out of 5 stars
    ·
    147 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Deep Learning Engineering

    Skills you'll gain: Model Deployment, PyTorch (Machine Learning Library), Vision Transformer (ViT), Model Evaluation, Transfer Learning, MLOps (Machine Learning Operations), Natural Language Processing, Debugging, Containerization, Kubernetes, Docker (Software), Distributed Computing, Performance Tuning, Applied Machine Learning, Dataflow, Tensorflow, Deep Learning, Cloud Computing, Data Pipelines, Computer Vision

    Advanced · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    The State University of New York

    Health and Safety of a Home-Based Childcare Center

    Skills you'll gain: Injury Prevention, Accident Prevention, Emotional Intelligence, Emergency Response, Nutrition and Diet, Safety Training, Working With Children, Child Welfare, Child Health, Resilience, Social Skills, Environment Health And Safety, Safety Standards, Health And Safety Standards, Mental Health, Policy Development, Meal Planning And Preparation, First Aid, Record Keeping

    4.6
    Rating, 4.6 out of 5 stars
    ·
    31 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Dassault Systèmes

    xDesign Foundations: Sketching and Extrusion

    Skills you'll gain: SolidWorks (CAD), Computer-Aided Design, 3D Modeling, Engineering Design Process, Mechanical Design, Mechanical Engineering

    4.2
    Rating, 4.2 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Fraud Detection on Financial Transactions with Machine Learning on Google Cloud

    Skills you'll gain: Fraud detection, Feature Engineering, Big Data, Anomaly Detection, Google Cloud Platform, Unsupervised Learning, Model Evaluation, Data Manipulation, Applied Machine Learning, Decision Tree Learning, Logistic Regression, Supervised Learning, Predictive Modeling, Machine Learning, Data Preprocessing

    4
    Rating, 4 out of 5 stars
    ·
    26 reviews

    Intermediate · Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    Universidad Austral

    Modelización Cuantitativa para Finanzas Corporativas

    Skills you'll gain: Financial Modeling, Time Series Analysis and Forecasting, Regression Analysis, Financial Forecasting, Predictive Modeling, Forecasting, Finance, R Programming, Financial Analysis, Statistical Analysis, Statistics, Probability & Statistics, Risk Analysis, Microsoft Excel

    4.5
    Rating, 4.5 out of 5 stars
    ·
    32 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Managing AI Projects That Ship and Scale

    Skills you'll gain: Milestones (Project Management), Acceptance Testing, CI/CD, Scope Management, MLOps (Machine Learning Operations), Feature Engineering, Governance Risk Management and Compliance, Capacity Management, Responsible AI, Smart Goals, Project Risk Management, Compliance Management, Stakeholder Communications, Data Governance, Risk Analysis, Model Evaluation, Applied Machine Learning, Project Planning, Risk Management, Mitigation

    4
    Rating, 4 out of 5 stars
    ·
    6 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free
    Free
    C

    Coursera

    Change Leadership: Strategic Route Analysis with Miro

    Skills you'll gain: Change Management, Visionary, Organizational Change, Business Transformation, Strategic Leadership, Innovation, Process Analysis, Leadership and Management, Business Process Reengineering, Business Workflow Analysis, Adaptability

    4.5
    Rating, 4.5 out of 5 stars
    ·
    43 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    NVIDIA: Prompt Engineering and Data Analysis

    Skills you'll gain: Prompt Engineering, Plot (Graphics), Data Visualization, Large Language Modeling, Text Mining, Retrieval-Augmented Generation, Data Visualization Software, Data Analysis, Natural Language Processing

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    The Total Data Quality Framework

    Skills you'll gain: Data Quality, Data Collection, Data Management, Data Validation, Data Analysis, Data Preprocessing, Threat Detection, Data Access, Sampling (Statistics)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    50 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Implementation of GenAI Agents

    Skills you'll gain: Generative AI Agents, LangChain, AI Workflows, LLM Application, Agentic systems, Development Environment, Model Evaluation, OpenAI, Artificial Intelligence, Scalability, Applied Machine Learning, Performance Tuning, Design

    4.5
    Rating, 4.5 out of 5 stars
    ·
    90 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Backend Development and API Creation

    Skills you'll gain: Back-End Web Development, Server Side, Middleware, Authentications, API Design, Application Programming Interface (API), User Accounts, Databases, JavaScript Frameworks, Scalability, GitHub, Development Environment, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    38 reviews

    Intermediate · Course · 1 - 4 Weeks

1…216217218…408

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

  • AI in National Security: Integrating Artificial Intelligence into Public Sector Missions: Special Competitive Studies Project
  • Deep Learning Engineering: Coursera
  • Health and Safety of a Home-Based Childcare Center: The State University of New York
  • xDesign Foundations: Sketching and Extrusion: Dassault Systèmes
  • Fraud Detection on Financial Transactions with Machine Learning on Google Cloud: Google Cloud
  • Modelización Cuantitativa para Finanzas Corporativas: Universidad Austral
  • Managing AI Projects That Ship and Scale: Coursera
  • Change Leadership: Strategic Route Analysis with Miro: Coursera
  • NVIDIA: Prompt Engineering and Data Analysis: Whizlabs
  • The Total Data Quality Framework: University of Michigan

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