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


  • 2

    28DIGITAL

    Web of Data

    Skills you'll gain: Semantic Web, Query Languages, Data Management, Data Integration, Data Processing, JSON, Data Sharing, Data Mining, Interoperability, Extensible Markup Language (XML), Web Services, Data Modeling

    4.1
    Rating, 4.1 out of 5 stars
    ·
    94 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Organization Planning and Development for the 6 σ Black Belt

    Skills you'll gain: Lean Six Sigma, Six Sigma Methodology, Lean Methodologies, Process Improvement, Organizational Development, Change Management, Continuous Improvement Process, Business Strategy, Quality Management, Benchmarking, Leadership and Management, Performance Measurement, Business Metrics, Return On Investment

    4.5
    Rating, 4.5 out of 5 stars
    ·
    531 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Business intelligence and data warehousing

    Skills you'll gain: Data Warehousing, Extract, Transform, Load, Business Intelligence, Data Mining, Big Data, Predictive Analytics, Data Modeling, MySQL, Business Analytics, Apache Hadoop, Data Integration, Star Schema, Unstructured Data, Database Design, SQL, Data Transformation

    3.9
    Rating, 3.9 out of 5 stars
    ·
    101 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Interventions and Calibration

    Skills you'll gain: Mathematical Modeling, Epidemiology, Infectious Diseases, Model Evaluation, Simulations, Statistical Modeling, Predictive Modeling, Data Modeling, R Programming, Statistical Methods, Public Health, Probability Distribution

    4.7
    Rating, 4.7 out of 5 stars
    ·
    56 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Geneva

    Mentaliser : de la théorie à l’intervention clinique

    Skills you'll gain: Cognitive Behavioral Therapy, Clinical Psychology, Psychology, Mental Health Counseling, Psychotherapy, Mental Health, Mental Health Therapies, Human Development, Empathy & Emotional Intelligence, Child Development, Interpersonal Communications, Mindfulness, Patient Communication

    4.9
    Rating, 4.9 out of 5 stars
    ·
    214 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    F

    Fractal Analytics

    Generative AI for Developers

    Skills you'll gain: Prompt Engineering, Responsible AI, Generative AI, Generative Model Architectures, Code Review, Data Ethics, Artificial Intelligence, Large Language Modeling, Machine Learning Methods, Object Oriented Programming (OOP), Artificial Intelligence and Machine Learning (AI/ML), AI Enablement, Maintainability, Artificial Neural Networks, Programming Principles, Data Cleansing, Debugging, Problem Solving, Critical Thinking, Data Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    196 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    Leading for Equity, Diversity and Inclusion in Higher Education

    Skills you'll gain: Higher Education, Diversity Equity and Inclusion Initiatives, Leadership, Workplace inclusivity, Cultural Diversity, Social Justice, Accountability, Advocacy, Student Engagement

    4.6
    Rating, 4.6 out of 5 stars
    ·
    297 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    Sungkyunkwan University

    Machine Learning Basics

    Skills you'll gain: Machine Learning, Python Programming, Supervised Learning, Model Evaluation, Scikit Learn (Machine Learning Library), Logistic Regression, Applied Machine Learning, Regression Analysis, Classification Algorithms, Statistical Methods, Linear Algebra

    4.4
    Rating, 4.4 out of 5 stars
    ·
    91 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Build personal resilience

    Skills you'll gain: Stress Management, Resilience, Personal Development, Time Management, Productivity, Mental Health, Organizational Skills, Mindfulness, Self-Awareness, Goal Setting, Interpersonal Communications

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universitat Autònoma de Barcelona

    Diseño y Creación de videojuegos

    Skills you'll gain: 3D Modeling, Video Game Development, Game Design, Unity Engine, 3D Assets, Peer Review, User Interface (UI) Design, Computer Graphics, Animations, User Interface and User Experience (UI/UX) Design, Visualization (Computer Graphics), Software Design Documents, Design, User Interface (UI), Experience Design, Music, Animation and Game Design, Usability, Microsoft Visual Studio, Computer Graphic Techniques

    4.4
    Rating, 4.4 out of 5 stars
    ·
    916 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Analytics for Decision Making

    Skills you'll gain: Time Series Analysis and Forecasting, Model Evaluation, Simulations, Operations Research, Probability Distribution, Mathematical Modeling, Supply Chain, Probability, Predictive Modeling, Data Preprocessing, Business Modeling, Business Analytics, Workforce Management, Analytics, Regression Analysis, Microsoft Excel, Forecasting, Excel Formulas, Statistics, Predictive Analytics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    292 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Magnetics for Power Electronic Converters

    Skills you'll gain: Power Electronics, Electrical Engineering, electromagnetics, Electronic Components, Mathematical Modeling, Thermal Management, Engineering Analysis, Engineering Design Process, Engineering Calculations

    4.8
    Rating, 4.8 out of 5 stars
    ·
    164 reviews

    Intermediate · Course · 1 - 4 Weeks

1…148149150…569

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

  • Web of Data: 28DIGITAL
  • Organization Planning and Development for the 6 σ Black Belt: Kennesaw State University
  • Business intelligence and data warehousing: Universidad Nacional Autónoma de México
  • Interventions and Calibration: Imperial College London
  • Mentaliser : de la théorie à l’intervention clinique: University of Geneva
  • Generative AI for Developers: Fractal Analytics
  • Leading for Equity, Diversity and Inclusion in Higher Education: University of Michigan
  • Machine Learning Basics: Sungkyunkwan University
  • Build personal resilience: Macquarie University
  • Diseño y Creación de videojuegos: Universitat Autònoma de Barcelona

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