• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Infinite State Stochastic Model Checking Methods

Results for "infinite-state stochastic model checking methods"


  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    AI for Medical Diagnosis

    Skills you'll gain: Model Evaluation, Data Preprocessing, Convolutional Neural Networks, Image Analysis, Diagnostic Radiology, Predictive Modeling, Risk Modeling, Statistical Machine Learning, Artificial Intelligence, Tensorflow, Applied Machine Learning, Medical Imaging, Machine Learning Methods, Deep Learning, Natural Language Processing, Medical Science and Research, Machine Learning, Magnetic Resonance Imaging, Probability & Statistics

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI for Data Scientists

    Skills you'll gain: Prompt Engineering, Prompt Patterns, ChatGPT, Generative AI, Exploratory Data Analysis, Data Ethics, Feature Engineering, Predictive Modeling, AI Enablement, Responsible AI, Data Visualization, Artificial Intelligence and Machine Learning (AI/ML), Data Science, AI Workflows, Data Synthesis, Data Preprocessing, Data Analysis, Deep Learning, Augmented and Virtual Reality (AR/VR), Machine Learning

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

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free
    Free
    T

    The Chinese University of Hong Kong

    Basic Modeling for Discrete Optimization

    Skills you'll gain: Mathematical Modeling, Problem Solving, Enterprise Modeling, Graph Theory, Decision Support Systems, Computational Thinking, Data Modeling, Model Evaluation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    455 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    IBM Machine Learning

    Skills you'll gain: Exploratory Data Analysis, Autoencoders, Feature Engineering, Unsupervised Learning, Supervised Learning, Classification Algorithms, Regression Analysis, Dimensionality Reduction, Time Series Analysis and Forecasting, Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Reinforcement Learning, Generative Adversarial Networks (GANs), Deep Learning, Data Analysis, Statistical Methods, Data Preprocessing, Machine Learning, Data Science, Python Programming

    Build toward a degree

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

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The Hong Kong University of Science and Technology

    Python and Statistics for Financial Analysis

    Skills you'll gain: Statistical Inference, Pandas (Python Package), Probability & Statistics, Risk Analysis, Financial Trading, Financial Data, Data Manipulation, Statistical Analysis, Regression Analysis, Financial Analysis, Jupyter, Financial Modeling, Python Programming, Model Evaluation, Data Visualization, Data Import/Export

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Excel to MySQL: Analytic Techniques for Business

    Skills you'll gain: Predictive Modeling, Data Storytelling, Database Design, Dashboard, Predictive Analytics, MySQL, Relational Databases, SQL, Tableau Software, Business Analytics, Business Metrics, Data Visualization Software, Analytics, Data Visualization, Business Process Improvement, Business Analysis, Data Analysis, Big Data, Business Communication, Microsoft Excel

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    Foundations of Business Intelligence

    Skills you'll gain: Stakeholder Engagement, Business Intelligence, Stakeholder Communications, Data-Driven Decision-Making, Dashboard, Business Analytics, Real Time Data, Data Integration, Data Modeling, Data Storytelling, Project Design, Data Analysis, Key Performance Indicators (KPIs), Business Process Improvement, Business Process, Project Implementation, Data Pipelines

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

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Introduction to Finance and Accounting

    Skills you'll gain: Financial Statements, Financial Statement Analysis, Return On Investment, Accrual Accounting, Financial Accounting, Capital Budgeting, Financial Reporting, Accounting, Finance, Inventory Accounting, Financial Analysis, Balance Sheet, Income Statement, Portfolio Management, Capital Expenditure, Equities, Cash Flows, Corporate Finance, Forecasting, Cash Flow Forecasting

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI for Product Owners

    Skills you'll gain: Prompt Engineering, AI Product Strategy, Prompt Patterns, ChatGPT, Responsible AI, Generative AI, Google Gemini, Product Management, AI Enablement, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), AI Workflows, Deep Learning, Augmented and Virtual Reality (AR/VR), Machine Learning, Stakeholder Engagement, Context Management, Decision Making

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

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Introduction to Structured Query Language (SQL)

    Skills you'll gain: Database Design, SQL, MySQL, Relational Databases, Databases, Data Modeling, Development Environment, PHP (Scripting Language), Software Installation

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    V

    Vanderbilt University

    Data Management for Clinical Research

    Skills you'll gain: Clinical Data Management, Electronic Data Capture (EDC), Data Management, Data Collection, Case Report Forms, Data Sharing, Health Informatics, Data Strategy, Data Quality, Good Clinical Practices (GCP), Sampling (Statistics), Data Integrity, Data Validation, Regulatory Compliance

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

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Machine Learning: Unsupervised Learning

    Skills you'll gain: Feature Engineering, AI Personalization, Statistical Methods, Linear Algebra

    Intermediate · Course · 1 - 3 Months

1…333435…563

In summary, here are 10 of our most popular infinite-state stochastic model checking methods courses

  • AI for Medical Diagnosis: DeepLearning.AI
  • Generative AI for Data Scientists: IBM
  • Basic Modeling for Discrete Optimization: The Chinese University of Hong Kong
  • IBM Machine Learning: IBM
  • Python and Statistics for Financial Analysis: The Hong Kong University of Science and Technology
  • Excel to MySQL: Analytic Techniques for Business: Duke University
  • Foundations of Business Intelligence: Google
  • Introduction to Finance and Accounting: University of Pennsylvania
  • Generative AI for Product Owners: IBM
  • Introduction to Structured Query Language (SQL): University of Michigan

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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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