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

Results for "quantitative model checking"


  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Исследование и генерация данных для принятия бизн.-реш.

    Skills you'll gain: Sampling (Statistics), Descriptive Statistics, Data Analysis, Statistics, Quantitative Research, Business Analysis, Business Risk Management, Statistical Analysis, Data-Driven Decision-Making, Statistical Visualization, Statistical Methods, Microsoft Excel, Probability Distribution, Data Presentation, Influencing

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Keras Deep Learning Projects with TensorFlow

    Skills you'll gain: Embeddings, Natural Language Processing, Keras (Neural Network Library), Generative AI, Convolutional Neural Networks, Transfer Learning, Recurrent Neural Networks (RNNs), Model Evaluation, Image Analysis, Artificial Neural Networks, Text Mining, Computer Vision, Data Preprocessing, Tensorflow, Deep Learning, Model Deployment, Applied Machine Learning, Google Cloud Platform, Jupyter, Matplotlib

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    D

    Duke University

    End to End LLMs with Azure

    Skills you'll gain: Retrieval-Augmented Generation, LLM Application, Model Deployment, Prompt Patterns, Microsoft Azure, OpenAI API, Large Language Modeling, OpenAI, Application Deployment, Embeddings, Application Programming Interface (API), Scalability

    2.5
    Rating, 2.5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    Fundamentals of Data Science in Healthcare

    Skills you'll gain: Interoperability, Medical Privacy, Clinical Data Management, Data Cleansing, Data Preprocessing, Health Informatics, Feature Engineering, Data Transformation, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Data Quality, ICD Coding (ICD-9/ICD-10), Data Processing, Health Care, Health Information Management, Data Integration, Medical Records, Medical Coding, Data Validation, Electronic Medical Record, Machine Learning

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Getting Started with Generative AI

    Skills you'll gain: Prompt Engineering, Generative AI, Generative Model Architectures, Generative Adversarial Networks (GANs), Large Language Modeling, Artificial Intelligence and Machine Learning (AI/ML), Responsible AI, Embeddings, Data Preprocessing, AI Personalization, Deep Learning, Model Evaluation, Transfer Learning, Model Deployment, Open Source Technology, Data Processing, Machine Learning, Data Cleansing, Data Visualization, Database Systems

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    CertNexus

    Train Machine Learning Models

    Skills you'll gain: Jupyter, Unsupervised Learning, Model Evaluation, Classification Algorithms, Applied Machine Learning, Predictive Modeling, Regression Analysis, Data Preprocessing, Machine Learning, Supervised Learning, Feature Engineering, Performance Tuning, Algorithms

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    C

    Coursera

    Advanced Programme Planning Phases Framework in ClickUp

    Skills you'll gain: Diagram Design, Program Development, Program Management, Project Design, Process Management, Business Process, Timelines, Process Flow Diagrams, Agile Project Management, Project Management Software

    5
    Rating, 5 out of 5 stars
    ·
    12 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    Universidad de Palermo

    Finanzas de Start Up y Valuación de Proyectos

    Skills you'll gain: Cash Flows, Business Modeling, Financial Analysis, Risk Analysis, Financial Statement Analysis, Business Valuation, Financial Modeling, Entrepreneurship, Business Strategies, Business Planning, Presentations, Feasibility Studies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Building Financial Models for Entrepreneurs

    Skills you'll gain: Financial Modeling, Entrepreneurial Finance, Financial Forecasting, Capital Budgeting, Entrepreneurship, Cash Flow Forecasting, Financial Data, Financial Analysis, Business Modeling, Finance, Negotiation, Investments, Microsoft Excel

    5
    Rating, 5 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Coursera

    Program Financial Planning with ClickUp

    Skills you'll gain: Program Management, Project Planning, Innovation, Budget Management, Financial Planning, Diagram Design, Productivity Software, Agile Methodology, Strategic Planning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    12 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    University of Michigan

    Introduction to Socially Engaged Design

    Skills you'll gain: Prototyping, Ideation, Engineering Design Process, Sustainable Design, Social Impact, Human Centered Design, Product Design, Design Thinking, Social Justice, Case Studies, Diversity Awareness, Innovation, Cultural Responsiveness, Product Requirements

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    P

    Packt

    Machine Learning with PyTorch and Scikit-Learn

    Skills you'll gain: Reinforcement Learning, Dimensionality Reduction, PyTorch (Machine Learning Library), Machine Learning Algorithms, Data Preprocessing, Model Evaluation, Artificial Intelligence and Machine Learning (AI/ML), Generative Adversarial Networks (GANs), Machine Learning Methods, Deep Learning, Transfer Learning, Applied Machine Learning, Pandas (Python Package), Scikit Learn (Machine Learning Library), Python Programming, Machine Learning, Artificial Neural Networks, Data Processing, Natural Language Processing, Feature Engineering

    Intermediate · Course · 3 - 6 Months

1…235236237…410

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

  • Исследование и генерация данных для принятия бизн.-реш.: University of Illinois Urbana-Champaign
  • Keras Deep Learning Projects with TensorFlow: EDUCBA
  • End to End LLMs with Azure: Duke University
  • Fundamentals of Data Science in Healthcare: SkillUp
  • Getting Started with Generative AI: Edureka
  • Train Machine Learning Models: CertNexus
  • Advanced Programme Planning Phases Framework in ClickUp: Coursera
  • Finanzas de Start Up y Valuación de Proyectos: Universidad de Palermo
  • Building Financial Models for Entrepreneurs: Duke University
  • Program Financial Planning with ClickUp: Coursera

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