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

    University of Alberta

    Design Patterns

    Skills you'll gain: Model View Controller, Software Design Patterns, Software Design, Unified Modeling Language, Object Oriented Design, Code Review, Software Architecture, Programming Principles, Maintainability, Java, Application Design

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Advanced Statistics for Data Science

    Skills you'll gain: Statistical Hypothesis Testing, Sampling (Statistics), Regression Analysis, Bayesian Statistics, Statistical Analysis, Probability & Statistics, Statistical Inference, Statistical Methods, Statistical Modeling, Linear Algebra, Probability, Probability Distribution, R Programming, Biostatistics, Data Science, Statistics, Mathematical Modeling, Data Analysis, Data Modeling, Applied Mathematics

    4.4
    Rating, 4.4 out of 5 stars
    ·
    785 reviews

    Advanced · Specialization · 3 - 6 Months

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

    EDUCBA

    Advanced Excel Analytics, Automation & Data Analysis

    Skills you'll gain: Excel Macros, Data Validation, Scatter Plots, Pivot Tables And Charts, Microsoft Excel, Data Visualization, Regression Analysis, Excel Formulas, Histogram, Data Analysis, Data Integrity, Descriptive Statistics, Data Visualization Software, Spreadsheet Software, Analytics, Statistical Analysis, Data Analysis Expressions (DAX), Statistical Methods, Descriptive Analytics, Automation

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Introduction to Game Math and Basic Operations

    Skills you'll gain: Unity Engine, Video Game Development, Game Design, Computer Programming, General Mathematics, Computer Graphics, Arithmetic, Graphing, Geometry, Data Structures, Applied Mathematics

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Theoretical Bases of Health and Injury Management

    Skills you'll gain: Kinesiology, Applied Machine Learning, Bayesian Network, Machine Learning, Data-Driven Decision-Making, Epidemiology, Load Balancing, Health Education, Data Integration, Systems Engineering, Psychological Evaluations

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Cleveland Clinic

    Machine Learning in Healthcare: Foundations and Applications

    Skills you'll gain: Machine Learning Methods, Machine Learning, Machine Learning Algorithms, Healthcare Industry Knowledge, Health Informatics, Applied Machine Learning, Clinical Informatics, Health Care, Supervised Learning, Clinical Experience, Emerging Technologies, Artificial Intelligence, Reinforcement Learning, Data-Driven Decision-Making, Data Science

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Sydney

    Positive Psychiatry and Mental Health

    Skills you'll gain: Mental Health, Stress Management, Mindfulness, Psychiatry, Positivity, Optimism, Resilience, Behavioral Health, Mental Health Therapies, Psychotherapy, Personal Development, Mental and Behavioral Health, Creativity, Cognitive Behavioral Therapy, Substance Abuse, Empowerment, Relationship Building, Exercise Therapy

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Data Collection: Online, Telephone and Face-to-face

    Skills you'll gain: Surveys, Interviewing Skills, Data Collection, Sampling (Statistics), Unstructured Data, Research Methodologies, Qualitative Research, Data Validation, Data Quality, Text Mining

    4.6
    Rating, 4.6 out of 5 stars
    ·
    353 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Copenhagen Business School

    An Introduction to Consumer Neuroscience & Neuromarketing

    Skills you'll gain: Consumer Behaviour, Marketing Psychology, Decision Making, Brand Management, Human Learning, Customer Insights, Market Research, Business Ethics, Marketing, Advertising, Ethical Standards And Conduct, Psychology, Data Collection

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Data Modeling in Power BI

    Skills you'll gain: Data Analysis Expressions (DAX), Data Modeling, Star Schema, Power BI, Database Design, Data Warehousing, Business Intelligence, Data Analysis, Time Series Analysis and Forecasting, Performance Tuning, Data Visualization

    4.3
    Rating, 4.3 out of 5 stars
    ·
    798 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of California, Irvine

    Human Resources Analytics

    Skills you'll gain: Data Storytelling, Data Presentation, Human Capital, Employee Relations, Human Resource Strategy, Performance Metric, Employee Training, Dashboard, Business Metrics, Employee Engagement, Business Analysis, Employee Retention, Data Analysis, Compensation Analysis, Training and Development, Compensation and Benefits, Compensation Strategy, Talent Recruitment, Mental Health

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

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Introduction to ASP.NET Core Framework

    Skills you'll gain: ASP.NET, .NET Framework, Responsive Web Design, HTML and CSS, C# (Programming Language), Web Applications, Web Development, Javascript and jQuery, UI Components, Application Frameworks, Bootstrap (Front-End Framework), Development Environment, Restful API, Microsoft Development Tools, React Redux, Model View Controller, Middleware

    Intermediate · Course · 1 - 3 Months

1…454647…563

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

  • Design Patterns: University of Alberta
  • Advanced Statistics for Data Science: Johns Hopkins University
  • Advanced Excel Analytics, Automation & Data Analysis: EDUCBA
  • Introduction to Game Math and Basic Operations: Packt
  • Theoretical Bases of Health and Injury Management : Real Madrid Graduate School Universidad Europea
  • Machine Learning in Healthcare: Foundations and Applications: Cleveland Clinic
  • Positive Psychiatry and Mental Health : The University of Sydney
  • Data Collection: Online, Telephone and Face-to-face: University of Michigan
  • An Introduction to Consumer Neuroscience & Neuromarketing : Copenhagen Business School
  • Data Modeling in Power BI: Microsoft

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