• 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: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Lean Six Sigma Yellow Belt: Apply, Analyze & Improve Quality

    Skills you'll gain: Lean Six Sigma, Quality Management, Process Analysis, Quality Improvement, Process Capability, Data-Driven Decision-Making, Process Flow Diagrams, Pareto Chart, Run Chart, Statistical Process Controls, Process Improvement, Statistical Analysis, Quality Control, Data Analysis, Data Analysis Software, Histogram, Scatter Plots

    4.6
    Rating, 4.6 out of 5 stars
    ·
    41 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidad Austral

    Finanzas para emprendedores

    Skills you'll gain: Financial Analysis, Financial Statements, Entrepreneurial Finance, Balance Sheet, Financial Modeling, Financial Accounting, Income Statement, Business Metrics, Business Valuation, Cash Management, Working Capital

    4.7
    Rating, 4.7 out of 5 stars
    ·
    22 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    Simplilearn

    Data Analytics with Python

    Skills you'll gain: Matplotlib, NumPy, Data Visualization, Python Programming, Pandas (Python Package), Data Analysis, Data Visualization Software, Scripting, Analytics, Data Manipulation, Real Time Data, Data Processing, Programming Principles, Data Transformation, Data Cleansing, Data Validation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    22 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Glasgow

    Applied AI for Engineers and Scientists: Foundations

    Skills you'll gain: Data Preprocessing, Model Evaluation, Engineering Practices, Matlab, Engineering Calculations, Classification Algorithms, Engineering Analysis, Engineering, Artificial Intelligence and Machine Learning (AI/ML), AI Enablement, Applied Mathematics, Artificial Neural Networks

    5
    Rating, 5 out of 5 stars
    ·
    136 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The Hong Kong University of Science and Technology

    Social Science Approaches to the Study of Chinese Society Part 1

    Skills you'll gain: Social Sciences, Science and Research, Research Design, Surveys, Qualitative Research, Research, Research Methodologies, Sociology, Political Sciences, Experimentation, Anthropology, Economics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    51 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    U

    Universitat Autònoma de Barcelona

    Archaeology and Heritage of Africa

    Skills you'll gain: Art History, Ancient History, Case Studies, Anthropology, Community Development, Sustainable Development, Surveys, Research, Research Methodologies, Social Sciences, Sustainable Systems, Scientific Methods, Cultural Responsiveness, Culture, Cultural Diversity, Environment

    4.7
    Rating, 4.7 out of 5 stars
    ·
    38 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    National Academy of Sports Medicine

    Nutrition Hot Topics and Controversies

    Skills you'll gain: Nutrition Education, Nutrition and Diet, Patient Education And Counseling, Clinical Nutrition, Food Quality Assurance And Control, Scientific Methods, Medical Science and Research, Life Sciences

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Validate HTML Forms with JavaScript and HTML

    Skills you'll gain: Data Validation, Hypertext Markup Language (HTML), Verification And Validation, Javascript, Web Applications

    4.7
    Rating, 4.7 out of 5 stars
    ·
    16 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    University of Michigan

    Understanding Psychosis

    Skills you'll gain: Health Disparities, Psychiatry, Patient Education And Counseling, Community Mental Health Services, Social Determinants Of Health, Patient Communication, Psychiatric Assessments, Mental Health Diseases and Disorders, Rehabilitation, Trauma Care, Mental and Behavioral Health, Pharmacology, Mental Health

    4.7
    Rating, 4.7 out of 5 stars
    ·
    20 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Maryland, College Park

    Surviving Disruptive Technologies (On Demand)

    Skills you'll gain: Emerging Technologies, Technology Strategies, Media and Communications, Electronic Media, Business Technologies, Digital Transformation, Business Transformation, Social Media, Innovation, Organizational Change, Competitive Analysis, Case Studies, E-Commerce, Business Strategy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    63 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Linux Embedded System Topics and Projects

    Skills you'll gain: Agile Methodology, Scrum (Software Development), Software Testing, Agile Software Development, Embedded Systems, Docker (Software), Git (Version Control System), Linux Administration, System Programming, Linux, C++ (Programming Language), Internet Of Things, File Systems

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    20 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    ANOVA and Experimental Design

    Skills you'll gain: Statistical Hypothesis Testing, Experimentation, Research Design, Statistical Analysis, Data Ethics, Statistical Modeling, Data Science, A/B Testing, Data Analysis, Quantitative Research, Regression Analysis, Statistical Inference, Probability & Statistics, Sample Size Determination, Linear Algebra, Calculus

    Build toward a degree

    4
    Rating, 4 out of 5 stars
    ·
    19 reviews

    Intermediate · Course · 1 - 4 Weeks

1…324325326…581

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

  • Lean Six Sigma Yellow Belt: Apply, Analyze & Improve Quality: EDUCBA
  • Finanzas para emprendedores: Universidad Austral
  • Data Analytics with Python: Simplilearn
  • Applied AI for Engineers and Scientists: Foundations: University of Glasgow
  • Social Science Approaches to the Study of Chinese Society Part 1: The Hong Kong University of Science and Technology
  • Archaeology and Heritage of Africa: Universitat Autònoma de Barcelona
  • Nutrition Hot Topics and Controversies: National Academy of Sports Medicine
  • Validate HTML Forms with JavaScript and HTML: Coursera
  • Understanding Psychosis: University of Michigan
  • Surviving Disruptive Technologies (On Demand): University of Maryland, College Park

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