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

    Tsinghua University

    Just Reading and Writing English 1

    Skills you'll gain: Intercultural Competence, Cultural Diversity, Mental Health, Learning Strategies, Emotional Intelligence, English Language, Empathy, Communication Strategies, Grammar, Higher Education, Vocabulary

    4.5
    Rating, 4.5 out of 5 stars
    ·
    122 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    Como influenciar pessoas

    Skills you'll gain: Influencing, Leadership, Persuasive Communication, Initiative and Leadership, Relationship Building, Rapport Building, Trustworthiness, Decision Making, Negotiation, Non-Verbal Communication, Professional Networking, Organizational Structure

    4.8
    Rating, 4.8 out of 5 stars
    ·
    151 reviews

    Mixed · Course · 1 - 4 Weeks

  • P

    Packt

    The STATA OMNIBUS: Regression and Modelling with STATA

    Skills you'll gain: Stata, Regression Analysis, Statistical Modeling, Statistical Methods, Statistical Analysis, Data Visualization, Data Manipulation, Logistic Regression, Predictive Modeling, Statistical Hypothesis Testing, Model Evaluation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 3 - 6 Months

  • Status: Preview
    Preview
    I

    ISACA

    Auditing Generative AI: Strategy, Analysis & Risk Mitigation

    Skills you'll gain: Generative AI, Responsible AI, Auditing, Compliance Auditing, AI Security, Risk Analysis, Risk Management, Artificial Intelligence, Risk Mitigation, Business Transformation, Machine Learning Methods

    4.5
    Rating, 4.5 out of 5 stars
    ·
    47 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Profit Analysis using Economic Value Added

    Skills you'll gain: Financial Statement Analysis, Financial Analysis, Return On Investment, Profit and Loss (P&L) Management, Financial Modeling, Performance Metric, Accounting, Finance, Operating Expense, Investments

    4.6
    Rating, 4.6 out of 5 stars
    ·
    210 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Forecasting Financial Statements & Valuation for Accountants

    Skills you'll gain: Financial Statement Analysis, Financial Reporting, Financial Forecasting, Financial Acumen, Business Valuation, Financial Modeling, Balance Sheet, Cash Flow Forecasting, Generally Accepted Accounting Principles (GAAP), Finance, Market Data, Trend Analysis, Estimation

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    40 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    Engineering Maintainable Android Apps

    Skills you'll gain: JUnit, Unit Testing, Maintainability, Software Design Patterns, Software Testing, Test Automation, Integration Testing, Test Driven Development (TDD), Testability, Software Engineering, Android Development, Application Security, Test Case, Software Design, Software Architecture, Mobile Security, Application Design

    4.5
    Rating, 4.5 out of 5 stars
    ·
    297 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Agile Project Management

    Skills you'll gain: Agile Project Management, Scrum (Software Development), Sprint Planning, Emotional Intelligence, Backlogs, Scaled Agile Framework, Negotiation, Sprint Retrospectives, Agile Software Development, Program Management, Brainstorming, Prioritization, User Story, Creative Thinking, Innovation, Project Portfolio Management, Leadership, Organizational Leadership, Problem Solving, Project Controls

    4.1
    Rating, 4.1 out of 5 stars
    ·
    24 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Mathematical Biostatistics Boot Camp 2

    Skills you'll gain: Statistical Hypothesis Testing, Statistical Analysis, Statistical Methods, Probability & Statistics, Statistical Inference, Biostatistics, Sampling (Statistics), Statistics, Data Analysis, Regression Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    138 reviews

    Mixed · Course · 1 - 4 Weeks

  • P

    Packt

    Lean Six Sigma - Green Belt

    Skills you'll gain: Lean Six Sigma, Process Mapping, Process Improvement, Process Analysis, Business Process, Continuous Improvement Process, Waste Minimization, Statistical Analysis, Quality Management, Operational Efficiency, Statistical Process Controls, Root Cause Analysis, Data-Driven Decision-Making, Customer experience improvement, Business Metrics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    31 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Michigan State University

    Game Design and Development 3: 3D Shooter

    Skills you'll gain: Game Design, Unity Engine, Prototyping, Video Game Development, 3D Modeling, Computer Graphics, Multimedia, Animations, Scripting

    4.8
    Rating, 4.8 out of 5 stars
    ·
    64 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    G

    Goldman Sachs

    Fundamentals of Operations, with Goldman Sachs 10,000 Women

    Skills you'll gain: Process Mapping, Operational Efficiency, Business Operations, Operations Management, Operational Analysis, Process Management, Business Process, Business Process Improvement, Process Improvement, Customer experience improvement, Growth Strategies, Technology Strategies

    4.6
    Rating, 4.6 out of 5 stars
    ·
    377 reviews

    Mixed · Course · 1 - 4 Weeks

1…207208209…573

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

  • Just Reading and Writing English 1: Tsinghua University
  • Como influenciar pessoas: University of Michigan
  • The STATA OMNIBUS: Regression and Modelling with STATA: Packt
  • Auditing Generative AI: Strategy, Analysis & Risk Mitigation: ISACA
  • Profit Analysis using Economic Value Added: Coursera
  • Forecasting Financial Statements & Valuation for Accountants: University of Illinois Urbana-Champaign
  • Engineering Maintainable Android Apps: Vanderbilt University
  • Agile Project Management: University of Maryland, College Park
  • Mathematical Biostatistics Boot Camp 2: Johns Hopkins University
  • Lean Six Sigma - Green Belt : Packt

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