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

Results for "quantitative model checking"


  • I

    Infosec

    Leadership

    Skills you'll gain: Cyber Governance, Security Management, IT Management, Cybersecurity, Governance, Leadership Studies, Cyber Security Strategy, Information Assurance, Leadership, Change Management, Governance Risk Management and Compliance, Organizational Change

    ★ 4.4 (90) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • O

    O.P. Jindal Global University

    Artificial Intelligence

    Skills you'll gain: Computational Logic, Machine Learning Algorithms, Classification Algorithms, Natural Language Processing, Artificial Intelligence, Agentic systems, AI literacy, Machine Learning Methods, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Decision Support Systems, Bayesian Network, Complex Problem Solving, Probability & Statistics, Algorithms

    ★ 5 (7) · Mixed · Course · 3 - 6 Months

    Category: Preview
    Preview
    Category: Build toward a degree
    Build toward a degree
  • E

    Edureka

    PySpark for Data Science

    Skills you'll gain: PySpark, Model Optimization, Data Pipelines, Dashboard Creation, Dashboard, Interactive Data Visualization, Model Training, Data Processing, Data Storage Technologies, Data Architecture, Natural Language Processing, Data Storage, Data Wrangling, Data Integration, Data Transformation, Machine Learning, Data Preprocessing, Deep Learning, Logistic Regression

    ★ 2.7 (11) · Intermediate · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    Universidad de los Andes

    Los portafolios y las inversiones en el mercado de capitales

    Skills you'll gain: Portfolio Management, Investments, Investment Management, Financial Market, Portfolio Risk, Capital Markets, Finance, Equities, Market Liquidity, Risk Modeling, Risk Analysis, Financial Modeling, Asset Management, Return On Investment, Financial Analysis, Risk Management, Market Dynamics, Business Valuation, Correlation Analysis

    ★ 4.8 (109) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • P

    Packt

    Data Science Essentials: Analysis, Statistics, and ML

    Skills you'll gain: Plotly, Model Evaluation, NumPy, Statistical Methods, Probability & Statistics, Plot (Graphics), Dashboard, Statistics, Pandas (Python Package), Data Analysis, Database Development, Statistical Analysis, Regression Analysis, Dashboard Creation, Data Manipulation, Python Programming, Applied Machine Learning, Probability, Database Systems, Database Management Systems

    ★ 4.6 (29) · Intermediate · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    Erasmus University Rotterdam

    Necessary Condition Analysis (NCA)

    Skills you'll gain: Data Analysis, Statistical Reporting, Analytical Skills, Quantitative Research, Statistical Analysis, Statistical Software, Small Data, Qualitative Research, R (Software), R Programming, Sampling (Statistics), Technical Communication, Research Methodologies, Statistical Hypothesis Testing

    ★ 4.9 (28) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • L

    LearnQuest

    Enterprise Java Beans (EJBs) and the Jakarta Persistence API (JPA)

    Skills you'll gain: Java Platform Enterprise Edition (J2EE), Java Programming, Object-Relational Mapping, Java, Application Servers, Middleware, Application Deployment, Data Persistence, Event-Driven Programming, Enterprise Application Management, Server Side, Code Reusability, Context Management, Transaction Processing, Business Logic, Query Languages

    ★ 4.8 (56) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Build Your Portfolio Website with Angular JS

    Skills you'll gain: Angular, JavaScript Frameworks, Model View Controller, Javascript, Web Development, Software Development

    ★ 4.5 (11) · Intermediate · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • T

    Tecnológico de Monterrey

    Leadership focused on Human Flourishing

    Skills you'll gain: Positivity, Self-Awareness, Resilience, Personal Development, Emotional Intelligence, Leadership, Growth Mindedness, Visionary, Empathy, Relationship Building, Environmental Issue

    ★ 4.8 (71) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado System

    AI Integration in Healthcare

    Skills you'll gain: Machine Learning Algorithms, Model Training, Human Factors (Security), Machine Learning, Model Evaluation, Artificial Intelligence, Supervised Learning, Predictive Modeling, AI Integrations, Diagnostic Tests, Reinforcement Learning, Descriptive Analytics

    Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • S

    Simplilearn

    Advanced Prompt Engineering Course

    Skills you'll gain: Prompt Patterns, Prompt Engineering Tools, LangChain, Retrieval-Augmented Generation, Generative AI, AI Workflows, LLM Application, Large Language Modeling, OpenAI API, Data Synthesis

    ★ 4.7 (6) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    Machine Learning with TensorFlow on Google Cloud en Français

    Skills you'll gain: Feature Engineering, Model Optimization, Tensorflow, Model Deployment, Google Cloud Platform, Model Training, Keras (Neural Network Library), Exploratory Data Analysis, Business Metrics, Data Pipelines, Data Preprocessing, Data Quality, Model Evaluation, Logistic Regression, Applied Machine Learning, Data Cleansing, Machine Learning Methods, Machine Learning, Machine Learning Software, Performance Tuning

    ★ 4.2 (30) · Intermediate · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…230231232…444

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

  • Leadership: Infosec
  • Artificial Intelligence: O.P. Jindal Global University
  • PySpark for Data Science: Edureka
  • Los portafolios y las inversiones en el mercado de capitales: Universidad de los Andes
  • Data Science Essentials: Analysis, Statistics, and ML: Packt
  • Necessary Condition Analysis (NCA): Erasmus University Rotterdam
  • Enterprise Java Beans (EJBs) and the Jakarta Persistence API (JPA): LearnQuest
  • Build Your Portfolio Website with Angular JS: Coursera
  • Leadership focused on Human Flourishing: Tecnológico de Monterrey
  • AI Integration in Healthcare: University of Colorado System

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