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

Results for "quantitative model checking"


  • M

    Macquarie University

    Cyber Security: Mobile Security

    Skills you'll gain: Mobile Security, Digital Forensics, Investigation, Threat Detection, Mobile Development, Criminal Investigation and Forensics, Application Security, Cybersecurity, Data Security, Cyber Security Strategy, Incident Response, Computer Security Incident Management, Computer Security, Data Analysis Software, Authentications, Data Integrity

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Beginner · Course · 1 - 3 Months

  • D

    DeepLearning.AI

    Reinforcement Learning from Human Feedback

    Skills you'll gain: LLM Application, Large Language Modeling, Model Evaluation, Prompt Engineering, Reinforcement Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    33 reviews

    Intermediate · Project · Less Than 2 Hours

  • G

    Google Cloud

    Create Image Captioning Models

    Skills you'll gain: Convolutional Neural Networks, Image Analysis, Deep Learning, Keras (Neural Network Library), Model Evaluation, Tensorflow, Recurrent Neural Networks (RNNs)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    32 reviews

    Advanced · Course · 1 - 4 Weeks

  • C

    Coursera

    Well Being & Self Care: for Physical and Mental Health

    Skills you'll gain: Stress Management, Personal Care, Mindfulness, Preventative Care, Growth Mindedness, Behavioral Health, Personal Development, Health And Wellness Coaching, Productivity, Self-Awareness, Mental Health, Resilience, Health Promotion, Behavior Management, Goal Setting, Positive Behavior Support, Exercise Science

    4.8
    Rating, 4.8 out of 5 stars
    ·
    70 reviews

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Alberta

    Becoming Your Best Self at Work

    Skills you'll gain: Workplace inclusivity, Stress Management, Mental Health, Diversity and Inclusion, Personal Development, Cultural Diversity, Conflict Management, Self-Awareness, Emotional Intelligence, Communication, Mindfulness, Resilience

    5
    Rating, 5 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

  • U

    Universidad de los Andes

    Recuperación de proyectos en crisis

    Skills you'll gain: Project Risk Management, Crisis Management, Project Controls, Earned Value Management, Problem Management, Project Documentation, Project Performance, Project Management, Process Improvement, Stakeholder Management, Case Studies, Root Cause Analysis, Decision Making

    4.9
    Rating, 4.9 out of 5 stars
    ·
    69 reviews

    Intermediate · Course · 1 - 3 Months

  • E

    Edureka

    Building AI Agents with OpenAI

    Skills you'll gain: Model Context Protocol, OpenAI API, Retrieval-Augmented Generation, AI Workflows, AI Orchestration, OpenAI, LLM Application, Generative AI Agents, Embeddings, Cloud Deployment, Artificial Intelligence and Machine Learning (AI/ML), Application Deployment, Tool Calling, ChatGPT, Artificial Intelligence, Vector Databases, Agentic systems, Prompt Engineering, Application Programming Interface (API), Responsible AI

    Intermediate · Specialization · 1 - 3 Months

  • U

    Universidade de São Paulo

    Biologia do Sono e Saúde Humana

    Skills you'll gain: Respiration, Mental Health, Psychiatry, Psychology, Behavioral Health, Health Care, Human Development, Biology, Anthropology, Neurology, Physiology

    5
    Rating, 5 out of 5 stars
    ·
    15 reviews

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Generalized Linear Models and Nonparametric Regression

    Skills you'll gain: Statistical Modeling, R Programming, Data Analysis, Data Ethics, Statistical Methods, Regression Analysis, Predictive Modeling, Mathematical Modeling, Machine Learning, Logistic Regression, Statistical Inference, Model Evaluation, Probability Distribution, Linear Algebra, Calculus

    Build toward a degree

    4.3
    Rating, 4.3 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Cambridge

    Financial Accounting and Capital Markets

    Skills you'll gain: Accrual Accounting, Accruals, Financial Accounting, Financial Modeling, Accounting, Equities, Financial Market, Capital Markets, Financial Analysis, Sustainable Business, Depreciation, Financial Statements, Cash Flows, Loans, Profit and Loss (P&L) Management, Microsoft Excel, Strategic Decision-Making

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 3 Months

  • E

    Edureka

    Getting Started with APIs

    Skills you'll gain: API Design, Application Programming Interface (API), Postman API Platform, Restful API, API Testing, Application Deployment, CI/CD, Application Lifecycle Management, Test Automation, Software Documentation, Application Performance Management, Microservices

    3
    Rating, 3 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • L

    L&T EduTech

    Project Planning and Execution Management

    Skills you'll gain: Project Schedules, Earned Value Management, Risk Analysis, Cost Estimation, Scheduling, Cost Management, Project Management, Project Planning, Project Estimation, Resource Allocation, Resource Management, Timelines, Risk Management, Budgeting, Performance Measurement, Dependency Analysis, Network Model

    4.8
    Rating, 4.8 out of 5 stars
    ·
    11 reviews

    Advanced · Course · 1 - 3 Months

1…207208209…398

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

  • Cyber Security: Mobile Security: Macquarie University
  • Reinforcement Learning from Human Feedback: DeepLearning.AI
  • Create Image Captioning Models: Google Cloud
  • Well Being & Self Care: for Physical and Mental Health: Coursera
  • Becoming Your Best Self at Work: University of Alberta
  • Recuperación de proyectos en crisis: Universidad de los Andes
  • Building AI Agents with OpenAI: Edureka
  • Biologia do Sono e Saúde Humana: Universidade de São Paulo
  • Generalized Linear Models and Nonparametric Regression: University of Colorado Boulder
  • Financial Accounting and Capital Markets: University of Cambridge

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