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

Results for "quantitative model checking"


  • N

    National Taiwan University

    BIM Fundamentals for Engineers

    Skills you'll gain: Building Information Modeling, Data Modeling, 3D Modeling, Computer-Aided Design, Construction, Engineering Practices, Construction Management, Civil Engineering, Mechanical Engineering

    4.7
    Rating, 4.7 out of 5 stars
    ·
    2K reviews

    Beginner · Course · 1 - 3 Months

  • U

    University of Illinois Urbana-Champaign

    Financial Management

    Skills you'll gain: Revenue Recognition, Peer Review, Credit Risk, Mergers & Acquisitions, Financial Analysis, Accrual Accounting, Financial Statement Analysis, Cash Flows, Accounting, Corporate Finance, Financial Statements, Financial Accounting, Finance, Financial Modeling, Investments, Return On Investment, Generally Accepted Accounting Principles (GAAP), Financial Management, Portfolio Management, Risk Management

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    7K reviews

    Intermediate · Specialization · 3 - 6 Months

  • U

    University of Alberta

    Reinforcement Learning

    Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Artificial Intelligence, Deep Learning, Simulations, Feature Engineering, Markov Model, Supervised Learning, Algorithms, Model Evaluation, Artificial Neural Networks, Performance Testing, Performance Tuning, Pseudocode, Linear Algebra, Probability Distribution

    4.7
    Rating, 4.7 out of 5 stars
    ·
    3.6K reviews

    Intermediate · Specialization · 3 - 6 Months

  • I

    IBM

    IBM Hybrid Cloud Architect

    Skills you'll gain: Cloud-Native Computing, Infrastructure as Code (IaC), Cloud Security, Cloud Storage, Hybrid Cloud Computing, Systems Analysis, Process Improvement, Cloud Engineering, Cloud Computing, Cloud Solutions, Cloud Development, Requirements Analysis, Data Modeling, Multi-Cloud, DevOps, Docker (Software), Solution Design, Microservices, Infrastructure As A Service (IaaS), Information Technology

    4.6
    Rating, 4.6 out of 5 stars
    ·
    7.8K reviews

    Intermediate · Professional Certificate · 3 - 6 Months

  • J

    Johns Hopkins University

    Biostatistics in Public Health

    Skills you'll gain: Biostatistics, Statistical Hypothesis Testing, Logistic Regression, Regression Analysis, Sampling (Statistics), Statistical Methods, Statistical Visualization, Statistical Analysis, Epidemiology, Quantitative Research, Descriptive Statistics, Probability & Statistics, Statistical Inference, Probability Distribution, Public Health, Scientific Methods, Statistics, Statistical Modeling, Advanced Analytics, Predictive Modeling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.4K reviews

    Beginner · Specialization · 3 - 6 Months

  • U

    University of California, Davis

    SQL for Data Science

    Skills you'll gain: Data Governance, SQL, Data Quality, Database Design, Query Languages, Data Modeling, Relational Databases, Data Manipulation, Data Science, Data Analysis, Descriptive Statistics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    17K reviews

    Beginner · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    DeepLearning.AI TensorFlow Developer

    Skills you'll gain: Tensorflow, Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Computer Vision, Model Evaluation, Transfer Learning, Image Analysis, Keras (Neural Network Library), Natural Language Processing, Time Series Analysis and Forecasting, Deep Learning, Embeddings, Artificial Neural Networks, Generative AI, Applied Machine Learning, Classification Algorithms, Predictive Modeling, Data Preprocessing, Forecasting, Machine Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    25K reviews

    Intermediate · Professional Certificate · 3 - 6 Months

  • C

    Coursera

    Statistical and Predictive Modeling for Finance

    Skills you'll gain: Descriptive Statistics, Financial Data, Regression Analysis, Statistical Modeling, Financial Analysis, Decision Tree Learning, Credit Risk, Predictive Modeling, Portfolio Management, Statistics, Portfolio Risk, Statistical Analysis, Statistical Methods, Model Evaluation, Supervised Learning

    Intermediate · Course · 1 - 3 Months

  • B

    Board Infinity

    Apply AI & Machine Learning to Financial Forecasting

    Skills you'll gain: Financial Forecasting, Feature Engineering, Model Evaluation, Applied Machine Learning, Forecasting, Machine Learning, Predictive Modeling, Financial Modeling, Generative AI, Time Series Analysis and Forecasting, Regression Analysis, Data Preprocessing, Credit Risk, Portfolio Management

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Advanced RAG Patterns

    Skills you'll gain: Retrieval-Augmented Generation, Prompt Patterns, Agentic systems, Performance Testing, AI Workflows, Prompt Engineering, Data-Driven Decision-Making, Generative AI, Data Validation, Model Evaluation, Verification And Validation, A/B Testing, MLOps (Machine Learning Operations), Embeddings

    Intermediate · Course · 1 - 4 Weeks

  • R

    Rice University

    Business Finance and Data Analysis Fundamentals

    Skills you'll gain: Capital Budgeting, Cash Flows, Probability & Statistics, Finance, Financial Statements, Microsoft Excel, Descriptive Statistics, Financial Accounting, Business Analytics, Box Plots, Probability Distribution, Data Visualization, Probability, Statistics, Ledgers (Accounting), Financial Analysis, Business Valuation, Business Mathematics, Financial Management, Data Analysis

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Unlock Multimodal Search

    Skills you'll gain: Vector Databases, Image Analysis, Applied Machine Learning, Embeddings, Docker (Software), Data Import/Export, Retrieval-Augmented Generation, Query Languages, Model Evaluation, Database Design, Data Modeling, Verification And Validation

    Intermediate · Course · 1 - 4 Weeks

1…313233…399

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

  • BIM Fundamentals for Engineers: National Taiwan University
  • Financial Management: University of Illinois Urbana-Champaign
  • Reinforcement Learning: University of Alberta
  • IBM Hybrid Cloud Architect: IBM
  • Biostatistics in Public Health: Johns Hopkins University
  • SQL for Data Science: University of California, Davis
  • DeepLearning.AI TensorFlow Developer: DeepLearning.AI
  • Statistical and Predictive Modeling for Finance : Coursera
  • Apply AI & Machine Learning to Financial Forecasting: Board Infinity
  • Advanced RAG Patterns: 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