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

    O.P. Jindal Global University

    Prescriptive Analytics

    Skills you'll gain: Machine Learning Methods, Network Model, Operations Research, Mathematical Modeling, Microsoft Excel, Business Analytics, Analytics, Analytical Skills, Operational Analysis, Business Mathematics, Data-Driven Decision-Making, Applied Mathematics, Process Optimization, Statistical Methods, Team Building, Analysis, Model Evaluation, Case Studies

    Build toward a degree

    Beginner · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Data Structures and Algorithms: Merge Sort

    Skills you'll gain: Software Design Patterns, Computational Thinking, Software Design, Algorithms, Program Development, Software Development, Data Structures, Problem Solving, Computer Science, Machine Learning Methods

    Advanced · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Build and Deploy an Agent with Reasoning Engine in Vertex AI

    Skills you'll gain: Model Deployment, Google Cloud Platform, Generative AI Agents, Cloud Deployment, AI Orchestration, Agentic systems, Artificial Intelligence, LangChain

    Intermediate · Project · Less Than 2 Hours

  • Status: Preview
    Preview
    C

    Coursera

    Facebook Storytelling: Write Compelling Stories

    Skills you'll gain: Writing, Storytelling, Copywriting, Persuasive Communication, Facebook, Business Writing, Content Creation, Social Media Content, Social Media, Drive Engagement, Social Media Campaigns, AI Product Strategy, Prompt Engineering Tools

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    AI-Powered Decision Intelligence

    Skills you'll gain: Responsible AI, Data Storytelling, AI Workflows, Data Presentation, AI Enablement, Predictive Modeling, Decision Support Systems, Strategic Decision-Making, Data-Driven Decision-Making, Business Intelligence, Decision Making, Business Analytics, Agentic systems, MLOps (Machine Learning Operations), Forecasting, Predictive Analytics, Scikit Learn (Machine Learning Library), Machine Learning, Data Security, Text Mining

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Object-Oriented Analysis and Design: Practice & Architecture

    Skills you'll gain: Object Oriented Design, Software Design Patterns, Unified Modeling Language, Java Programming, Software Architecture, Application Design, User Interface and User Experience (UI/UX) Design, Software Engineering, API Design, Software Development

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    C

    Coursera

    GenAI for Underwriters: Enhancing Application Reviews

    Skills you'll gain: Generative AI Agents, Responsible AI, Underwriting, Operational Efficiency, Lending and Underwriting, Compliance Management, AI Enablement, Risk Analysis, Ethical Standards And Conduct, Data-Driven Decision-Making, ChatGPT, Decision Making, Automation

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    D

    Duke University

    Financing for Impact Entrepreneurs

    Skills you'll gain: Entrepreneurial Finance, Finance, Entrepreneurship, Capital Markets, Environmental Social And Corporate Governance (ESG), Social Impact, Investments, Return On Investment, Fiscal Management, Financial Management, Stakeholder Engagement, Strategic Partnership, Decision Making, Asset Management, Portfolio Management, Business Strategy, Investment Management, International Finance, Business Management, Market Dynamics

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    Scrum Alliance

    Agile Coaching Essentials

    Skills you'll gain: Teaching, Culture Transformation, Discussion Facilitation, Organizational Change, Meeting Facilitation, Business Transformation, Employee Coaching, Coaching, Agile Product Development, Organizational Structure, Agile Project Management, Agile Software Development, Mentorship, Team Leadership, Agile Methodology, Team Performance Management, Leadership and Management, Organizational Strategy, Team Management, Strategic Leadership

    4
    Rating, 4 out of 5 stars
    ·
    11 reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Automation with Drools: Knowledge-Based Decision Systems

    Skills you'll gain: Model Deployment, Business Logic, Application Deployment, Decision Support Systems, Business Process Automation, Test Case, Verification And Validation, Automation, Program Development, Computer Programming, Docker (Software), Model Evaluation, Complex Problem Solving, Application Programming Interface (API)

    Intermediate · Guided Project · Less Than 2 Hours

  • C

    Coursera

    How to Use The IFE-EFE Matrix for Strategic Analysis

    Skills you'll gain: Competitive Analysis, Strategic Thinking, Business Strategy, Strategic Decision-Making, Organizational Strategy, Key Performance Indicators (KPIs), Performance Analysis, Analysis, Internal Auditing, Market Analysis, External Auditing, Market Opportunities, Entrepreneurship, Leadership

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Basel III Norms: Apply Standards in US & UK Banking

    Skills you'll gain: Portfolio Risk, Risk Management Framework, Financial Industry Regulatory Authorities, Financial Regulation, Commercial Banking, Regulatory Requirements

    4.8
    Rating, 4.8 out of 5 stars
    ·
    22 reviews

    Mixed · Course · 1 - 4 Weeks

1…463464465…588

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

  • Prescriptive Analytics: O.P. Jindal Global University
  • Data Structures and Algorithms: Merge Sort: Scrimba
  • Build and Deploy an Agent with Reasoning Engine in Vertex AI: Google Cloud
  • Facebook Storytelling: Write Compelling Stories: Coursera
  • AI-Powered Decision Intelligence: Edureka
  • Object-Oriented Analysis and Design: Practice & Architecture: University of Colorado Boulder
  • GenAI for Underwriters: Enhancing Application Reviews: Coursera
  • Financing for Impact Entrepreneurs: Duke University
  • Agile Coaching Essentials: Scrum Alliance
  • Automation with Drools: Knowledge-Based Decision Systems: Coursera

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