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


  • P

    Packt

    Harnessing Ollama – Create Local LLMs with Python

    Skills you'll gain: LLM Application, Tool Calling, Large Language Modeling, Retrieval-Augmented Generation, Command-Line Interface, Embeddings, Python Programming, Application Development, Vector Databases, User Interface (UI), Software Installation, Restful API, Development Environment

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Organizational innovation and creativity

    Skills you'll gain: Design Thinking, Innovation, Creative Problem-Solving, Ideation, Process Development, Creative Thinking, New Product Development, Creativity, Lean Methodologies, Customer experience improvement, Customer Engagement, Product Lifecycle Management, Business Modeling, Value Propositions

    4.6
    Rating, 4.6 out of 5 stars
    ·
    16 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rutgers the State University of New Jersey

    Leveraging Technology to Achieve Results

    Skills you'll gain: Enterprise Resource Planning, Procurement, Robotic Process Automation, Supply Chain Systems, Business Process Automation, Technology Solutions, Operational Efficiency, AI Enablement, Technology Strategies, Digital Transformation, Automation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 3 Months

  • P

    Packt

    120 Quick Stata Tips

    Skills you'll gain: Stata, STATA (Software), Scripting, Graphing, Data Visualization Software, Data Manipulation, Statistical Methods, Data Analysis, Data Management, Statistical Programming, Data Presentation, Debugging, Data Import/Export, Data Integrity

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Program Financial Planning with ClickUp

    Skills you'll gain: Program Management, Project Planning, Innovation, Budget Management, Financial Planning, Diagram Design, Productivity Software, Agile Methodology, Strategic Planning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    12 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    R

    Rice University

    Finanzen für Nicht-Finanzfachleute

    Skills you'll gain: Cash Flows, Return On Investment, Finance, Business Valuation, Capital Budgeting, Financial Analysis, Financial Modeling, General Finance, Investment Management, Financial Management, Case Studies, Financial Statements, Risk Analysis, Corporate Finance, Balance Sheet

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Information Technology Entrepreneurship & Startup

    Skills you'll gain: Customer Acquisition Management, Target Market, Market Opportunities, Competitive Analysis, Go To Market Strategy, Market Analysis, Persona Development, Ideation, Value Propositions, Business Modeling, Entrepreneurship, Strategic Partnership, Process Mapping, Sprint Planning, AI Enablement, Brainstorming, Growth Strategies, Business Planning, New Business Development, Problem Solving

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Lean Product Portfolio Management

    Skills you'll gain: Product Lifecycle Management, Enterprise Architecture, AI Product Strategy, Product Management, Responsible AI, Innovation, New Product Development, Product Strategy, User Research, Scalability, Design Thinking, Lean Methodologies, Project Portfolio Management, Agile Product Development, Governance, Product Development, Product Roadmaps, User Centered Design, Resource Management, Brand Management

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Reputation Crisis? Facebook meets Cambridge Analytica

    Skills you'll gain: Corporate Communications, Crisis Management, Business Ethics, Case Studies, Social Media Management, Facebook, Policy Analysis, Data Ethics, Leadership, Information Privacy, Stakeholder Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U
    P

    Multiple educators

    Innovación en los Negocios y Disrupción Digital

    Skills you'll gain: Data Storytelling, Storytelling, Design Thinking, Business Strategy, Business Modeling, Business Solutions, Marketing Communications, Data Visualization, Brand Strategy, Project Portfolio Management, Business Planning, Growth Strategies, Technology Strategies, Business Process, Digital Transformation, Risk Management, Innovation, Strategic Communication, Presentations, Strategic Thinking

    4.8
    Rating, 4.8 out of 5 stars
    ·
    81 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free
    Free
    A

    Amazon Web Services

    Introduction to Serverless Development v01.01.00

    Skills you'll gain: Serverless Computing, Amazon Web Services, Cloud Computing Architecture, Development Environment, Software Development Tools, Cloud Development, Software Development, Cloud Applications

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    U

    University of the Arts London

    Introduction to Creative AI

    Skills you'll gain: PyTorch (Machine Learning Library), Artificial Intelligence, Creativity, Artificial Intelligence and Machine Learning (AI/ML), Creative Thinking, Generative AI, Artificial Neural Networks, Responsible AI, Creative Problem-Solving, Creative Design, Machine Learning Methods, Data Ethics, Deep Learning, Critical Thinking

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

1…366367368…583

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

  • Harnessing Ollama – Create Local LLMs with Python: Packt
  • Organizational innovation and creativity: Tecnológico de Monterrey
  • Leveraging Technology to Achieve Results: Rutgers the State University of New Jersey
  • 120 Quick Stata Tips: Packt
  • Program Financial Planning with ClickUp: Coursera
  • Finanzen für Nicht-Finanzfachleute: Rice University
  • Information Technology Entrepreneurship & Startup: University of Minnesota
  • Lean Product Portfolio Management: University of Maryland, College Park
  • Reputation Crisis? Facebook meets Cambridge Analytica: Erasmus University Rotterdam
  • Innovación en los Negocios y Disrupción Digital: Universidad de Palermo

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