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

    National Taiwan University

    Operations Research (3): Theory

    Skills you'll gain: Operations Research, Network Model, Applied Machine Learning, Case Studies, Applied Mathematics, Mathematical Modeling, Transportation Operations, Business Analytics, Advanced Mathematics, Linear Algebra, Algorithms

    4.9
    Rating, 4.9 out of 5 stars
    ·
    95 reviews

    Advanced · Course · 1 - 3 Months

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

    Cisco Learning and Certifications

    Network Architecture Fundamentals

    Skills you'll gain: OSI Models, Network Architecture, Computer Networking, TCP/IP, Network Protocols, General Networking, Network Infrastructure, Wireless Networks, Network Routing, Local Area Networks, Network Security, Virtual Local Area Network (VLAN), Load Balancing, Wide Area Networks, Cloud Computing

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    AI Product Management

    Skills you'll gain: Deep Learning, MLOps (Machine Learning Operations), Responsible AI, Model Evaluation, Data Ethics, Data Management, Project Management Life Cycle, Unsupervised Learning, Human Computer Interaction, User Experience Design, Classification And Regression Tree (CART), Data Quality, Model Deployment, Data Preprocessing, Human Centered Design, Machine Learning, Project Management, Product Management, Product Design, Data Science

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

    Beginner · Specialization · 3 - 6 Months

  • 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: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Master Advanced Excel Functions to Analyze & Automate Data

    Skills you'll gain: Microsoft Excel, Excel Formulas, Pivot Tables And Charts, Spreadsheet Software, Data Analysis Expressions (DAX), Financial Forecasting, Financial Modeling, Financial Analysis, Business Analysis, Data-Driven Decision-Making, Data Manipulation

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    GA Goal Tracking & Setup

    Skills you'll gain: Marketing Effectiveness, Marketing Analytics, Google Analytics, Web Analytics, Verification And Validation, Goal Setting, Web Analytics and SEO, Performance Metric, Transaction Processing, Data Validation, System Testing

    Beginner · Course · 1 - 4 Weeks

  • 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: New
    New
    Status: Preview
    Preview
    A

    AI CERTs

    Responsible AI Principles

    Skills you'll gain: Responsible AI, AI Security, Data Ethics, Governance, Data Governance, Law, Regulation, and Compliance, Ethical Standards And Conduct, Compliance Training, Artificial Intelligence, Business Ethics, Compliance Management, Accountability, Regulatory Requirements, Governance Risk Management and Compliance, General Data Protection Regulation (GDPR), Personally Identifiable Information, Information Privacy, Stakeholder Engagement

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Real-World Angular Projects, Testing, and Interview Prep

    Skills you'll gain: Responsive Web Design, Bootstrap (Front-End Framework), Node.JS, Back-End Web Development, Unit Testing, Full-Stack Web Development, Front-End Web Development, Authentications, TypeScript, MySQL

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Applied Data Science with R

    Skills you'll gain: Data Storytelling, Interactive Data Visualization, Exploratory Data Analysis, Data Visualization Software, Database Design, Shiny (R Package), Data Visualization, Data Wrangling, Dashboard, Relational Databases, Statistical Analysis, Data Analysis, Ggplot2, Model Evaluation, Data Presentation, SQL, Plot (Graphics), Data Manipulation, Web Scraping, R Programming

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Brand Identity and Strategy

    Skills you'll gain: Brand Strategy, Branding, Brand Awareness, Logo Design, Brand Management, Target Audience, Target Market, Consumer Behaviour, Value Propositions, Marketing, Customer Insights, Marketing Psychology, Marketing Strategies, Advertising, Competitive Analysis, Typography, Storytelling, Color Theory

    4.7
    Rating, 4.7 out of 5 stars
    ·
    875 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Google Cloud Digital Leader Certification Guide

    Skills you'll gain: Cloud Computing Architecture, Google Cloud Platform, Cloud Security, Cloud Computing, Digital Transformation, Application Programming Interface (API), Model Deployment, Public Cloud, Data Pipelines, Cloud Infrastructure, Artificial Intelligence and Machine Learning (AI/ML), Data Management, Virtualization and Virtual Machines, Microservices, Containerization, Machine Learning

    Beginner · Course · 1 - 3 Months

1…757677…567

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

  • Operations Research (3): Theory: National Taiwan University
  • Network Architecture Fundamentals: Cisco Learning and Certifications
  • AI Product Management: Duke University
  • Data Visualization and Communication with Tableau: Duke University
  • Master Advanced Excel Functions to Analyze & Automate Data: EDUCBA
  • GA Goal Tracking & Setup: Coursera
  • Foundational Finance for Strategic Decision Making: University of Michigan
  • Responsible AI Principles: AI CERTs
  • Real-World Angular Projects, Testing, and Interview Prep: Packt
  • Applied Data Science with R: IBM

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