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

    Parsons School of Design, The New School

    Building Materials and Human Health

    Skills you'll gain: Environment Health And Safety, Health Disparities, Sustainable Architecture, Building Design, Sustainable Design, Hazard Analysis, Chemical and Biomedical Engineering, Environmental Science, Environmental Issue, Sustainability Standards, Social Justice, Product Lifecycle Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    43 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Pillar #3: Drug Effectiveness - Real-World Evidence

    Skills you'll gain: Clinical Research, Clinical Trials, Pharmacology, Data Collection, Epidemiology, Scientific Methods, Statistical Methods, Analytical Skills, Regression Analysis, Real Time Data

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Edinburgh

    Learning for a Sustainable Future: Live at COP28

    Skills you'll gain: Discussion Facilitation, Environmental Issue, Sustainable Development, Research, Climate Change Adaptation, Community Organizing, Cultural Responsiveness, Sustainability Standards, Student Engagement, Environmental Policy, Climate Change Mitigation, Community Development, Advocacy, Creativity, Education and Training, International Relations, Social Justice

    4.6
    Rating, 4.6 out of 5 stars
    ·
    124 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    IBM COBOL Core

    Skills you'll gain: COBOL (Programming Language), Report Writing, Debugging, Programming Principles, Software Testing, Computer Programming, Maintainability, Business Logic, Software Engineering, Data Storage, Numerical Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    64 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    The Neuroscience of Leading Transformational Organizations

    Skills you'll gain: Diversity and Inclusion, Innovation, Organizational Leadership, Industrial and Organizational Psychology, Business Leadership, Organizational Change, Creativity, Cultural Diversity, Human Capital, Leadership, Drive Engagement, Team Performance Management, Change Management, Business, Business Strategy, Decision Making, Neurology

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    25 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Leeds

    Exploratory Data Analysis

    Skills you'll gain: Exploratory Data Analysis, Data Cleansing, Statistical Methods, Statistical Modeling, Data Visualization, Statistics, R (Software), Data Analysis, Descriptive Statistics, Data Preprocessing, Box Plots, Data Visualization Software, Histogram, Probability, Probability Distribution

    4.6
    Rating, 4.6 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Introduction to Neural Networks

    Skills you'll gain: Convolutional Neural Networks, Artificial Neural Networks, Deep Learning, Machine Learning Algorithms, Image Analysis, Machine Learning, Computer Vision, Model Evaluation, Supervised Learning, Algorithms, Statistical Methods, Linear Algebra, Probability

    4.5
    Rating, 4.5 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    API Development and Architecture

    Skills you'll gain: API Design, API Gateway, Application Programming Interface (API), Postman API Platform, Restful API, API Testing, Data Validation, Authentications, OAuth, Cloud API, Microservices, Application Deployment, CI/CD, Authorization (Computing), Secure Coding, Application Frameworks, Performance Tuning, Application Lifecycle Management, Prometheus (Software), Grafana

    3.6
    Rating, 3.6 out of 5 stars
    ·
    7 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    Northeastern University

    Evaluating the Quality of Healthcare Delivery

    Skills you'll gain: Quality Assessment, Program Evaluation, Value-Based Care, Health Systems, Patient Safety, Quality Improvement, Performance Measurement, Health Policy, Scientific Methods, Performance Analysis, Performance Reporting

    4.7
    Rating, 4.7 out of 5 stars
    ·
    38 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    P

    Pontificia Universidad Católica del Perú

    Impresión 3D

    Skills you'll gain: 3D Modeling, Manufacturing Processes, Mechanical Design, Prototyping, Design Software, Materials science, Simulation and Simulation Software, Maintenance, Repair, and Facility Services

    4.8
    Rating, 4.8 out of 5 stars
    ·
    68 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    Skillshare

    Figma Pro Pt. 1: Auto Layouts, Grids & Components

    Skills you'll gain: Figma (Design Software), Responsive Web Design, UI Components, User Interface (UI), Layout Design, User Interface (UI) Design, Design Strategies, Web Design, Scalability, Prototyping

    4.5
    Rating, 4.5 out of 5 stars
    ·
    17 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Deploy AI Apps with Cloudflare

    Skills you'll gain: Cloud Deployment, Cloud Applications, Application Deployment, API Gateway, OpenAI API, Model Deployment, Cloud Security, Application Programming Interface (API), AI Enablement, LLM Application, Web Servers, Application Performance Management, Distributed Computing, Debugging

    4.8
    Rating, 4.8 out of 5 stars
    ·
    28 reviews

    Intermediate · Course · 1 - 4 Weeks

1…342343344…582

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

  • Building Materials and Human Health: Parsons School of Design, The New School
  • Pillar #3: Drug Effectiveness - Real-World Evidence: Johns Hopkins University
  • Learning for a Sustainable Future: Live at COP28: The University of Edinburgh
  • IBM COBOL Core: IBM
  • The Neuroscience of Leading Transformational Organizations: University of Colorado Boulder
  • Exploratory Data Analysis: University of Leeds
  • Introduction to Neural Networks: Johns Hopkins University
  • API Development and Architecture: Edureka
  • Evaluating the Quality of Healthcare Delivery: Northeastern University
  • Impresión 3D: Pontificia Universidad Católica del Perú

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