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

Results for "quantitative model checking"


  • U

    University of Illinois at Urbana-Champaign

    Master of Business Administration | iMBA

    Skills you'll gain: Business Strategy, Data Visualization, Data Storytelling, Management Accounting, Model Evaluation, Fund Accounting, Operations Management, Organizational Change, Audit Planning, Mergers & Acquisitions, Financial Statement Analysis, Project Closure, Risk Management, Social Determinants Of Health, Revenue Recognition, Entrepreneurship, Data Governance, Financial Auditing, Generative AI, Supply And Demand

    Earn a degree

    Degree · 1 - 4 Years

  • C

    Coursera

    Financial Data Analysis with Excel

    Skills you'll gain: Financial Statements, Dashboard, Variance Analysis, Financial Analysis, Pivot Tables And Charts, Excel Formulas, Financial Forecasting, Financial Modeling, Budget Management, Microsoft Excel, Performance Reporting, Data Validation, Spreadsheet Software, Financial Reporting, Auditing, Cost Management, Data Presentation, Data Storytelling, Business Intelligence, Performance Analysis

    Intermediate · Specialization · 3 - 6 Months

  • G

    Google Cloud

    KI-Infrastruktur: Einführung in AI Hypercomputer

    Skills you'll gain: Model Deployment, Cloud Deployment, Google Cloud Platform, Cloud Infrastructure, Cloud Computing, Tensorflow, Artificial Intelligence, Performance Tuning, Hardware Architecture

    Intermediate · Course · 1 - 4 Weeks

  • I

    Imperial College London

    Statistical Analysis with R for Public Health

    Skills you'll gain: Logistic Regression, Analytical Skills, Correlation Analysis, Regression Analysis, Sampling (Statistics), Statistical Hypothesis Testing, Data Literacy, Data Analysis, R Programming, Descriptive Statistics, Statistical Modeling, Biostatistics, Model Evaluation, Exploratory Data Analysis, Statistical Analysis, R (Software), Statistics, Statistical Methods, Data Wrangling, Public Health

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

    Beginner · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Analyze HR Attrition Using R Analytics

    Skills you'll gain: Predictive Modeling, Feature Engineering, Exploratory Data Analysis, Predictive Analytics, Statistical Analysis, Data Analysis, Analytics, HR Tech, Trend Analysis, Correlation Analysis, Data-Driven Decision-Making, R Programming, Data Preprocessing, Data Cleansing

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    AI Techniques, Causal Inference & Business Optimization

    Skills you'll gain: Data Ethics, Responsible AI, Retrieval-Augmented Generation, LLM Application, Operations Research, General Data Protection Regulation (GDPR), Strategic Thinking, Strategic Decision-Making, Business Strategy, Apache Kafka, Stakeholder Communications, Large Language Modeling, Real Time Data, AI Enablement, Information Privacy, Performance Testing, Personally Identifiable Information, Reinforcement Learning, Inventory Management System, Stakeholder Analysis

    Intermediate · Specialization · 3 - 6 Months

  • G

    Google Cloud

    Infrastruktur AI: Pengantar AI Hypercomputer

    Skills you'll gain: Google Cloud Platform, Model Deployment, Infrastructure Architecture, Cloud Computing, Cloud Deployment, AI Workflows, Application Deployment, Artificial Intelligence, Computer Hardware, Systems Architecture, Performance Tuning

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Analyze Budgets and Capital Structures Confidently

    Skills you'll gain: Variance Analysis, Financial Analysis, Budget Management, Strategic Decision-Making, Financial Modeling, Budgeting, Financial Statement Analysis, Financial Forecasting, Corporate Finance, Cost Management, Capital Budgeting, Risk Modeling, Spreadsheet Software, Microsoft Excel, Business Analytics, Data Analysis, Case Studies, Data-Driven Decision-Making, Risk Management

    Intermediate · Course · 1 - 4 Weeks

  • D

    Dr. Jonathan Reichental

    Governing Data in the Intelligence Age

    Skills you'll gain: Data Governance, Data Management, Governance, Data Ethics, Data Quality, Data Dictionary, Governance Risk Management and Compliance, Data Modeling, Data Integrity, Data Security, General Data Protection Regulation (GDPR), Responsible AI, Information Privacy, Risk Management, Data Transformation, Regulatory Compliance, Data Science, Data Pipelines, Cyber Security Policies, Cybersecurity

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Foundations of Probability and Statistics

    Skills you'll gain: Probability, Statistical Inference, Estimation, Probability & Statistics, Statistical Methods, Probability Distribution, Statistics, Markov Model, Data Literacy, Statistical Analysis, Sampling (Statistics), Applied Mathematics, Artificial Intelligence, Generative AI, Data Analysis, Data Science, Theoretical Computer Science, Machine Learning Algorithms, Mathematical Theory & Analysis

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    347 reviews

    Intermediate · Specialization · 3 - 6 Months

  • W

    Whizlabs

    Generative AI for Azure Cloud Engineers

    Skills you'll gain: Responsible AI, Retrieval-Augmented Generation, Generative AI, Microsoft Copilot, Microsoft Azure, OpenAI API, Prompt Engineering, AI Security, OpenAI, Model Deployment, Microsoft Power Platform, LLM Application, AI Workflows, Microsoft Office, Natural Language Processing

    Intermediate · Course · 1 - 4 Weeks

  • I

    Icahn School of Medicine at Mount Sinai

    Systems Biology and Biotechnology

    Skills you'll gain: Matlab, Bioinformatics, Quantitative Research, Unsupervised Learning, Data Synthesis, Research, Mathematical Modeling, Molecular Biology, Pharmacology, Science and Research, Cell Biology, Biotechnology, Biomedical Technology, Scientific Methods, Physiology, Differential Equations, Computational Logic, Biochemistry, Network Analysis, Biology

    4.4
    Rating, 4.4 out of 5 stars
    ·
    989 reviews

    Intermediate · Specialization · 3 - 6 Months

1…373839…399

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

  • Master of Business Administration | iMBA: University of Illinois at Urbana-Champaign
  • Financial Data Analysis with Excel: Coursera
  • KI-Infrastruktur: Einführung in AI Hypercomputer: Google Cloud
  • Statistical Analysis with R for Public Health: Imperial College London
  • Analyze HR Attrition Using R Analytics: EDUCBA
  • AI Techniques, Causal Inference & Business Optimization: Coursera
  • Infrastruktur AI: Pengantar AI Hypercomputer: Google Cloud
  • Analyze Budgets and Capital Structures Confidently: Coursera
  • Governing Data in the Intelligence Age: Dr. Jonathan Reichental
  • Foundations of Probability and Statistics: University of Colorado Boulder

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