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

    Splunk Inc.

    Splunk Search Expert

    Skills you'll gain: Splunk, Correlation Analysis, Data Transformation, Data Manipulation, Data Visualization Software, Performance Tuning, Dashboard, Data Analysis Expressions (DAX), Statistical Analysis, Data Processing, Security Information and Event Management (SIEM), Data Analysis, Data Synthesis, Data Modeling, Ad Hoc Reporting, Time Series Analysis and Forecasting, Business Intelligence, Big Data, Data Science, Business Analytics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    273 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    UX Research at Scale: Surveys, Analytics, Online Testing

    Skills you'll gain: Surveys, User Research, Survey Creation, Sampling (Statistics), A/B Testing, Web Analytics, Qualitative Research, Usability Testing, Research Methodologies, Web Analytics and SEO, Data Collection, Research Design, Sample Size Determination, Analytics, Data Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    211 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    SAS

    Statistical Thinking for Industrial Problem Solving, presented by JMP

    Skills you'll gain: Exploratory Data Analysis, Data Compilation, Correlation Analysis, Data Collection, Statistical Inference, Statistics, Statistical Methods, Statistical Modeling, Predictive Modeling, Data Analysis, Statistical Hypothesis Testing, Data-Driven Decision-Making, Regression Analysis, Statistical Analysis, Probability & Statistics, Descriptive Statistics, Data Visualization

    4.8
    Rating, 4.8 out of 5 stars
    ·
    99 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The Hong Kong University of Science and Technology

    Health Concepts in Chinese Medicine

    Skills you'll gain: Preventative Care, Pharmacology, Immunology, Chronic Diseases, Nutrition and Diet, Medical Terminology, Medical History Documentation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    430 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Zurich

    Teaching Science at University

    Skills you'll gain: Laboratory Experience, Teaching, Instructional Strategies, Experimentation, Education and Training, Pedagogy, Lecturing, Student Engagement, Research Design, Drive Engagement, Course Development, Scientific Methods, Simulations, Model Evaluation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    196 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    Accounting for Decision Making

    Skills you'll gain: Financial Statements, Accounting, Ledgers (Accounting), General Accounting, Financial Acumen, Revenue Management, Inventory Control Systems, Inventory Management, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    474 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Cybersecurity Identity and Access Solutions using Azure AD

    Skills you'll gain: Azure Active Directory, Authentications, Identity and Access Management, Authorization (Computing), Active Directory, Role-Based Access Control (RBAC), Multi-Factor Authentication, Microsoft Azure, Single Sign-On (SSO), Software As A Service, User Accounts, Cloud Services, Enterprise Security

    4.5
    Rating, 4.5 out of 5 stars
    ·
    186 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of California San Diego

    Code Free Data Science

    Skills you'll gain: Predictive Modeling, Data Manipulation, Predictive Analytics, Big Data, Data Processing, Data Mining, Data Analysis, Data Science, Data-Driven Decision-Making, Unsupervised Learning, Statistical Analysis, Analytics, No-Code Development, Software Installation

    4.3
    Rating, 4.3 out of 5 stars
    ·
    216 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Excel Modeling for Professionals: Best Practices & Pitfalls

    Skills you'll gain: Microsoft Excel, Excel Formulas, Data Modeling, Verification And Validation, Financial Modeling, Business Modeling, Spreadsheet Software, Technical Documentation, Product Testing, Data Validation, Data Integrity, Data Management, Organizational Skills

    4.5
    Rating, 4.5 out of 5 stars
    ·
    36 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Eindhoven University of Technology

    Microwave engineering and antennas

    Skills you'll gain: electromagnetics, Electronics Engineering, Telecommunications, Electrical Engineering, Electronic Systems, Wireless Networks, Engineering Design Process, Simulation and Simulation Software, Engineering Analysis, Engineering Calculations, Process Design

    4.6
    Rating, 4.6 out of 5 stars
    ·
    154 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Probabilistic Deep Learning with TensorFlow 2

    Skills you'll gain: Tensorflow, Autoencoders, Generative Model Architectures, Deep Learning, Applied Machine Learning, Image Analysis, Bayesian Statistics, Probability Distribution, Unsupervised Learning, Sampling (Statistics)

    4.7
    Rating, 4.7 out of 5 stars
    ·
    109 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Wharton Business and Financial Modeling Capstone

    Skills you'll gain: Portfolio Management, Financial Modeling, Presentations, Microsoft PowerPoint, Investment Management, Business Modeling, Data Modeling, Quantitative Research, Business Analytics, Financial Data, Portfolio Risk, Microsoft Excel, Financial Analysis, Regression Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    518 reviews

    Mixed · Course · 1 - 3 Months

1…194195196…573

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

  • Splunk Search Expert: Splunk Inc.
  • UX Research at Scale: Surveys, Analytics, Online Testing: University of Michigan
  • Statistical Thinking for Industrial Problem Solving, presented by JMP: SAS
  • Health Concepts in Chinese Medicine: The Hong Kong University of Science and Technology
  • Teaching Science at University: University of Zurich
  • Accounting for Decision Making: University of Michigan
  • Cybersecurity Identity and Access Solutions using Azure AD: Microsoft
  • Code Free Data Science: University of California San Diego
  • Excel Modeling for Professionals: Best Practices & Pitfalls: Erasmus University Rotterdam
  • Microwave engineering and antennas: Eindhoven University of Technology

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