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

    University of Toronto

    The Social Context of Mental Health and Illness

    Skills you'll gain: Community Mental Health Services, Mental Health Diseases and Disorders, Health Disparities, Mental Health, Social Determinants Of Health, Social Justice, Socioeconomics, Culture, Cultural Diversity, Family Support, Caregiving

    4.7
    Rating, 4.7 out of 5 stars
    ·
    587 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Deploy and Maintain Power BI Assets and Capstone project

    Skills you'll gain: Power BI, Dashboard, SQL, Microsoft SQL Servers, Data Security, Data Analysis, Data Visualization Software, Data Modeling, Data Management, Role-Based Access Control (RBAC)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    292 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    JavaScript for Beginners

    Skills you'll gain: jQuery, Javascript and jQuery, Ajax, Javascript, Data Manipulation, Data Validation, UI Components, HTML and CSS, Scripting, JSON, Scripting Languages, Event-Driven Programming, Web Development Tools, Web Design and Development, Cascading Style Sheets (CSS), Game Design, Hypertext Markup Language (HTML), Object Oriented Programming (OOP), Animations, Programming Principles

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Foundational Finance for Strategic Decision Making

    Skills you'll gain: Financial Modeling, Market Data, Financial Analysis, Cash Flows, Loans, Financial Statements, Finance, Portfolio Risk, Risk Management, Portfolio Management, Business Valuation, Corporate Finance, Capital Budgeting, Securities (Finance), Mortgage Loans, Risk Analysis, Financial Forecasting, Excel Formulas, Equities, Investments

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Feature Engineering

    Skills you'll gain: Feature Engineering, Data Preprocessing, Tensorflow, MLOps (Machine Learning Operations), Data Pipelines, Keras (Neural Network Library), Data Processing, Data Transformation, Data Modeling, Data Store, Real Time Data, Machine Learning, Data Storage

    4.5
    Rating, 4.5 out of 5 stars
    ·
    1.8K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Improving Leadership & Governance in Nonprofit Organizations

    Skills you'll gain: Peer Review, Governance, Consulting, Performance Measurement, Meeting Facilitation, Leadership and Management, Organizational Strategy, Report Writing, Organizational Effectiveness, Leadership, Performance Analysis, Management Consulting, Discussion Facilitation, Organizational Change, Philanthropy, Case Studies, Change Management, Public Administration, Strategic Leadership, Leadership Development

    4.4
    Rating, 4.4 out of 5 stars
    ·
    279 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The University of Tokyo

    Welcome to Game Theory

    Skills you'll gain: Game Theory, Social Sciences, Negotiation, Behavioral Economics, Economics, Strategic Decision-Making, Decision Making, Business Strategy, Strategic Planning, Probability

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Algebra: Elementary to Advanced - Functions & Applications

    Skills you'll gain: Mathematical Modeling, Graphing, Algebra, General Mathematics, Applied Mathematics, Arithmetic

    4.8
    Rating, 4.8 out of 5 stars
    ·
    194 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Experimental Design Basics

    Skills you'll gain: Experimentation, Sample Size Determination, Research Design, Statistical Analysis, Statistical Methods, Data Analysis Software, Statistical Hypothesis Testing, Design Strategies, Probability & Statistics, Statistical Modeling, Descriptive Statistics, Quality Control, Variance Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    311 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Managing Employee Compensation

    Skills you'll gain: Compensation Management, Compensation Strategy, Compensation and Benefits, Payroll, Benefits Administration, Human Resource Strategy, Labor Compliance, Workers Compensation, Employee Retention, Employee Performance Management, Payroll Tax, Employee Engagement

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Salesforce Fundamentals

    Skills you'll gain: Salesforce, Data Quality, Data Modeling, Data Integration, Business Process Automation, Email Marketing, Data Security, Data Cleansing, Sales Enablement, Sales Pipelines, Data Management, Business Process, User Accounts, Customer Relationship Management (CRM) Software, Sales Development, Stakeholder Engagement, Customer Engagement, Dashboard, Automation, Cloud Computing

    4.2
    Rating, 4.2 out of 5 stars
    ·
    264 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Reproducible Research

    Skills you'll gain: Rmarkdown, Knitr, Data Sharing, General Science and Research, Statistical Reporting, Data Analysis, Statistical Analysis, Data Validation, Exploratory Data Analysis, R Programming, Technical Communication, GitHub, Git (Version Control System), Software Documentation

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

    Mixed · Course · 1 - 4 Weeks

1…121122123…570

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

  • The Social Context of Mental Health and Illness: University of Toronto
  • Deploy and Maintain Power BI Assets and Capstone project: Microsoft
  • JavaScript for Beginners: University of California, Davis
  • Foundational Finance for Strategic Decision Making: University of Michigan
  • Feature Engineering: Google Cloud
  • Improving Leadership & Governance in Nonprofit Organizations: University at Buffalo
  • Welcome to Game Theory: The University of Tokyo
  • Algebra: Elementary to Advanced - Functions & Applications: Johns Hopkins University
  • Experimental Design Basics: Arizona State University
  • Managing Employee Compensation: University of Minnesota

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