• 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

    Agile Dashboards for Data-Driven Decision-Making

    Skills you'll gain: Performance Analysis, Performance Measurement, Customer Analysis, Dashboard, Market Opportunities, Business Metrics, Decision Making, Strategic Decision-Making, Agile Methodology, Real Time Data, Management Reporting, Business Intelligence, Organizational Effectiveness, Business Leadership, Data-Driven Decision-Making, Business Strategies, Data Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    18 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Coursera

    Introduction to Selenium

    Skills you'll gain: Selenium (Software), Test Script Development, Test Automation, Debugging, Automation, Web Scraping, Software Testing, Web Development Tools, Test Case, Browser Compatibility, Test Data, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    27 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Politics and Ethics of Data Analytics in the Public Sector

    Skills you'll gain: Data Ethics, Policy Analysis, Case Studies, Political Sciences, Data Analysis, Responsible AI, Public Policies, Analytics, Model Evaluation, Data Presentation, Data-Driven Decision-Making, Ethical Standards And Conduct, R Programming, Machine Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    18 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Demand Planning in RStudio: Create Demand Forecast

    Skills you'll gain: Demand Planning, Customer Demand Planning, Supply Chain Planning, Production Planning, Forecasting, Time Series Analysis and Forecasting, Trend Analysis, Inventory Management System, Data Analysis, R Programming, Data Visualization, R (Software), Model Evaluation

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Cyber Security: Security of AI

    Skills you'll gain: AI Security, Responsible AI, Cyber Security Strategy, Cyber Attacks, Cyber Threat Intelligence, Cybersecurity, Data Security, DevSecOps, Security Engineering, Artificial Intelligence, Threat Modeling, Cyber Governance, Artificial Intelligence and Machine Learning (AI/ML), Risk Management, Encryption, Application Programming Interface (API), Machine Learning, Governance, Regulation and Legal Compliance, Applied Machine Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    Question Reality! Science, philosophy, a search for meaning

    Skills you'll gain: Computational Logic, Scientific Methods, Theoretical Computer Science, Logical Reasoning, Physics, Experimentation, Laboratory Experience, Physical Science, Artificial Intelligence, Computational Thinking, Mathematics and Mathematical Modeling, Simulations, Psychology, Science and Research, General Science and Research, Ancient History, Vibrations, Mechanics, Chemistry, Laboratory Equipment

    4.7
    Rating, 4.7 out of 5 stars
    ·
    39 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    C

    Coursera

    Innovate with ANSYS Simulation Tools

    Skills you'll gain: Engineering Design Process, Engineering Analysis, Mechanical Design, Simulation and Simulation Software, Structural Analysis, Mechanical Engineering, Numerical Analysis, Finite Element Methods, Materials science

    4.9
    Rating, 4.9 out of 5 stars
    ·
    32 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Cambridge

    Financial Accounting and Capital Markets

    Skills you'll gain: Accrual Accounting, Accruals, Financial Accounting, Financial Modeling, Accounting, Equities, Financial Market, Capital Markets, Financial Analysis, Sustainable Business, Depreciation, Financial Statements, Cash Flows, Loans, Profit and Loss (P&L) Management, Microsoft Excel, Strategic Decision-Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    CompTIA Network+ (N10-008)

    Skills you'll gain: Network Security, Remote Access Systems, Disaster Recovery, OSI Models, General Networking, Network Administration, Network Troubleshooting, Computer Networking, Network Architecture, Network Infrastructure, Networking Hardware, Network Monitoring, TCP/IP, Virtual Private Networks (VPN), Network Protocols, Cybersecurity, Computer Security, Data Centers, Virtualization, Authentications

    4.8
    Rating, 4.8 out of 5 stars
    ·
    22 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Deep Teaching Solutions

    Think Critically: Deductive Reasoning and Mental Models

    Skills you'll gain: Deductive Reasoning, Cognitive flexibility, Logical Reasoning, Critical Thinking, Analytical Skills, Open Mindset, Systems Thinking, Problem Solving, Decision Making, Self-Awareness

    4.8
    Rating, 4.8 out of 5 stars
    ·
    40 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Managing Supply Chain Disruption During COVID-19

    Skills you'll gain: Supply Chain Management, Supply Chain, Supply Chain Planning, Supply Management, Supplier Management, Materials Management, Risk Management, Risk Mitigation, Logistics Management, Logistics, Crisis Management, Supplier Relationship Management, Contingency Planning, Manufacturing Operations, Demand Planning, Case Studies, Personal protective equipment, Operational Efficiency, Capacity Management, Business Strategies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    140 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rutgers the State University of New Jersey

    Introduction and Course Outline

    Skills you'll gain: Purchasing, Procurement, Strategic Sourcing, Target Audience, Supply Chain Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    49 reviews

    Beginner · Course · 1 - 4 Weeks

1…348349350…582

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

  • Agile Dashboards for Data-Driven Decision-Making: Duke University
  • Introduction to Selenium: Coursera
  • Politics and Ethics of Data Analytics in the Public Sector: University of Michigan
  • Demand Planning in RStudio: Create Demand Forecast: Coursera
  • Cyber Security: Security of AI: Macquarie University
  • Question Reality! Science, philosophy, a search for meaning: Dartmouth College
  • Innovate with ANSYS Simulation Tools: Coursera
  • Financial Accounting and Capital Markets: University of Cambridge
  • CompTIA Network+ (N10-008): Packt
  • Think Critically: Deductive Reasoning and Mental Models: Deep Teaching Solutions

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