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

    Duke University

    Data Visualization and Communication with Tableau

    Skills you'll gain: Data Storytelling, Dashboard, Tableau Software, Data Visualization, Business Analytics, Business Process, Business Process Improvement, Presentations, Data Visualization Software, Data Analysis, Visualization (Computer Graphics), Stakeholder Communications, Data Manipulation

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Decision-Making and Scenarios

    Skills you'll gain: Data-Driven Decision-Making, Forecasting, Financial Modeling, Financial Statements, Decision Making, Capital Budgeting, Financial Analysis, Return On Investment, Cash Flows, New Business Development, Risk Analysis, Income Statement, Balance Sheet, Spreadsheet Software

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Mergers and Acquisitions

    Skills you'll gain: Mergers & Acquisitions, Private Equity, Investment Banking, Financial Statement Analysis, Business Valuation, Financial Statements, Financial Forecasting, Financial Analysis, Capital Markets, Financial Modeling, Corporate Accounting, Corporate Tax, Price Negotiation, Accounting, Corporate Finance, Income Statement, Balance Sheet, Investments, Tax, Financial Accounting

    4.6
    Rating, 4.6 out of 5 stars
    ·
    653 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Calculate WACC: Capital Costs

    Skills you'll gain: Financial Analysis, Capital Expenditure, Return On Investment, Business Strategy, Data-Driven Decision-Making, Capital Budgeting, Financial Modeling, Financial Statements, Corporate Finance, Risk Analysis, Presentations

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Tokyo

    From the Big Bang to Dark Energy

    Skills you'll gain: Physics, Physical Science, General Science and Research, Science and Research, Scientific Methods, Mathematical Modeling, Chemistry, Scientific Visualization

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

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    CertNexus

    DSBIZ (Exam DSZ-210)

    Skills you'll gain: Customer experience improvement, Data Strategy, Data Modeling, Marketing Analytics, Customer Insights, Business Analytics, Business Intelligence, Marketing Strategies, Data Science, Operational Efficiency, Marketing, Data Ethics, Analytics, Customer Service, Big Data, Descriptive Analytics, Business Strategy, Data Collection, Predictive Analytics, Governance

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Payroll: Withholdings, Entry & Verification

    Skills you'll gain: Payroll Systems, Payroll, Payroll Tax, Payroll Processing, Verification And Validation, Tax Compliance, Data Entry, Data Validation, Regulatory Compliance, Record Keeping, Quality Control

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Introducción a Lean Six Sigma

    Skills you'll gain: Lean Six Sigma, Six Sigma Methodology, Lean Methodologies, Statistical Process Controls, Quality Improvement, Process Improvement, Process Analysis, Continuous Improvement Process, Customer Analysis, Waste Minimization, Quality Management, Return On Investment, Process Mapping, Project Management, Cost Benefit Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    713 reviews

    Beginner · Course · 1 - 4 Weeks

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

    Microsoft

    Introduction to Sales and AI Fundamentals

    Skills you'll gain: Prompt Engineering, Sales Process, Sales Presentations, Verbal Communication Skills, Product Knowledge, Communication, AI Personalization, Sales, Non-Verbal Communication, Sales Strategy, Microsoft Copilot, Generative AI Agents, Value Propositions, Customer Relationship Management, AI Enablement, Responsible AI

    Advanced · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The State University of New York

    Launch Your Online Business

    Skills you'll gain: Branding, Marketing and Public Relations, Entrepreneurship, Content Creation, Video Production, Marketing, Copywriting, Business Modeling, Presentations, Customer Engagement, Value Propositions, E-Commerce, Web Design and Development, Photography, Persona Development, Competitive Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    877 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Target Demographics: Boost Purchase Velocity

    Skills you'll gain: A/B Testing, Google Analytics, Customer Insights, Marketing Analytics, Target Audience, Digital Advertising, Online Advertising, Social Media Campaigns, Advertising Campaigns, Performance Measurement, Business Metrics, Key Performance Indicators (KPIs), Consumer Behaviour, AI Enablement, Data Analysis

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of California, Santa Cruz

    AI, Empathy & Ethics

    Skills you'll gain: Responsible AI, Data Ethics, Artificial Intelligence, Artificial Neural Networks, Ethical Standards And Conduct, Network Model, Machine Learning, Empathy & Emotional Intelligence, Supervised Learning, Reinforcement Learning, Policy Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    441 reviews

    Beginner · Course · 1 - 4 Weeks

1…838485…567

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

  • Data Visualization and Communication with Tableau: Duke University
  • Decision-Making and Scenarios: University of Pennsylvania
  • Mergers and Acquisitions: University of Illinois Urbana-Champaign
  • Calculate WACC: Capital Costs: Coursera
  • From the Big Bang to Dark Energy: The University of Tokyo
  • DSBIZ (Exam DSZ-210): CertNexus
  • Payroll: Withholdings, Entry & Verification: Coursera
  • Introducción a Lean Six Sigma: Tecnológico de Monterrey
  • Introduction to Sales and AI Fundamentals: Microsoft
  • Launch Your Online Business: The State University of New York

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