• 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
    I

    IBM

    Generative AI Fundamentals

    Skills you'll gain: Prompt Engineering, Prompt Patterns, Generative AI, Generative Model Architectures, ChatGPT, Generative Adversarial Networks (GANs), Responsible AI, OpenAI, AI Product Strategy, Data Ethics, Large Language Modeling, Leadership and Management, AI Enablement, Business Leadership, Business Ethics, Hugging Face, Legal Risk, IBM Cloud, Artificial Intelligence and Machine Learning (AI/ML), AI Workflows

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI for Java and Spring Developers

    Skills you'll gain: Prompt Engineering, Prompt Patterns, ChatGPT, Generative AI, Large Language Modeling, Responsible AI, Model Deployment, AI Security, Restful API, Data Ethics, Application Deployment, Artificial Intelligence, Software Testing, Software Development, DevSecOps, CI/CD, AI Workflows, Artificial Intelligence and Machine Learning (AI/ML), Java Programming, Deep Learning

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

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Generative Adversarial Networks (GANs)

    Skills you'll gain: Generative Adversarial Networks (GANs), Generative Model Architectures, Generative AI, PyTorch (Machine Learning Library), Image Analysis, Convolutional Neural Networks, Deep Learning, Model Evaluation, Responsible AI, Artificial Neural Networks, Data Ethics, Machine Learning, Image Quality, Unsupervised Learning, Information Privacy, Data Synthesis

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

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IESE Business School

    Think like a CFO

    Skills you'll gain: Financial Statements, Financial Statement Analysis, Financial Market, Income Statement, Corporate Finance, Accounting, Financial Management, Cash Flows, Balance Sheet, Financial Acumen, Financial Modeling, Accrual Accounting, Financial Accounting, Financial Data, Financial Analysis, Management Accounting, Capital Budgeting, Finance, Equities, Business Valuation

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    N

    Nanyang Technological University, Singapore

    Introduction to Forensic Science

    Skills you'll gain: Criminal Investigation and Forensics, Scientific Methods, Chemistry, Blood Collection, Investigation, Case Studies, Biochemistry, Analytical Chemistry, Pharmacology, Laboratory Testing, Pathology, Molecular Biology, Deductive Reasoning, Estimation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    2.8K reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Design and Interpretation of Clinical Trials

    Skills you'll gain: Clinical Trials, Clinical Research Ethics, Clinical Research, Research Design, Scientific Methods, Informed Consent, Drug Development, Statistical Analysis

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Market Research and Consumer Behavior

    Skills you'll gain: Survey Creation, Surveys, Market Research, Business Research, Consumer Behaviour, Marketing Strategies, Research Design, Data Analysis, Research Reports, Market Analysis, Research Methodologies, Experimentation, Customer Analysis, Focus Group, Business Marketing, Decision Making

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

    Beginner · Course · 1 - 4 Weeks

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

    University of London

    CSS: Web Page Layout - Usability and Accessibility

    Skills you'll gain: Responsive Web Design, Cascading Style Sheets (CSS), Web Content Accessibility Guidelines, HTML and CSS, Web Design, Frontend Performance, Usability, Web Design and Development, User Interface (UI), Usability Testing, Animations

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to Software Engineering

    Skills you'll gain: Software Development Life Cycle, Software Architecture, Software Design, Software Development Methodologies, Software Design Patterns, Development Environment, Unified Modeling Language, Software Engineering, Web Applications, Software Development Tools, Software Development, Application Deployment, Programming Principles, Front-End Web Development, Back-End Web Development, Software Documentation, Computer Programming, Python Programming

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Digital Manufacturing & Design Technology

    Skills you'll gain: Model Based Systems Engineering, Peer Review, Programmable Logic Controllers, Systems Engineering, Product Lifecycle Management, Intrusion Detection and Prevention, Security Controls, Performance Measurement, Collaborative Software, Control Systems, Continuous Monitoring, Anomaly Detection, Machine Controls, Incident Response, Digital Transformation, Vulnerability Assessments, Software Development Life Cycle, Production Process, Cybersecurity, Manufacturing Operations

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Hypothesis Testing in Public Health

    Skills you'll gain: Statistical Hypothesis Testing, Biostatistics, Sampling (Statistics), Statistical Inference, Scientific Methods, Quantitative Research, Public Health

    4.8
    Rating, 4.8 out of 5 stars
    ·
    650 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI Engineering with LLMs

    Skills you'll gain: Prompt Engineering, Large Language Modeling, Generative AI, Retrieval-Augmented Generation, Generative Model Architectures, PyTorch (Machine Learning Library), Vector Databases, LLM Application, Generative Adversarial Networks (GANs), Embeddings, Natural Language Processing, Hugging Face, Transfer Learning, Data Pipelines, Recurrent Neural Networks (RNNs), Text Mining, Data Ethics, Data Preprocessing, Artificial Intelligence, Performance Tuning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    875 reviews

    Intermediate · Specialization · 3 - 6 Months

1…454647…563

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

  • Generative AI Fundamentals: IBM
  • Generative AI for Java and Spring Developers: IBM
  • Generative Adversarial Networks (GANs): DeepLearning.AI
  • Think like a CFO: IESE Business School
  • Introduction to Forensic Science: Nanyang Technological University, Singapore
  • Design and Interpretation of Clinical Trials: Johns Hopkins University
  • Market Research and Consumer Behavior: IE Business School
  • CSS: Web Page Layout - Usability and Accessibility: University of London
  • Introduction to Software Engineering: IBM
  • Digital Manufacturing & Design Technology: University at Buffalo

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