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

    University of Colorado System

    Psychosocial and Spiritual Aspects of Palliative Care

    Skills you'll gain: Hospice, Patient Communication, Patient Education And Counseling, Patient-centered Care, Care Management, Patient Advocacy, Psychosocial Assessments, Family Support, Mental Health, Stress Management, Cultural Diversity

    4.9
    Rating, 4.9 out of 5 stars
    ·
    92 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The Chinese University of Hong Kong

    Structuring Values in Modern China

    Skills you'll gain: Culture, Social Studies, Cultural Diversity, World History, Ancient History, Sociology, Social Sciences, Research, Science and Research, Political Sciences, Economics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    36 reviews

    Mixed · Course · 1 - 3 Months

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

    EDUCBA

    Advanced Unity Projects: RPG, Level Design & VFX

    Skills you'll gain: Animation and Game Design, Unity Engine, Game Design, 3D Assets, User Interface (UI), Computer Graphics, 3D Modeling, Virtual Environment, Video Game Development, User Interface (UI) Design, Computer Graphic Techniques, Visualization (Computer Graphics), User Interface and User Experience (UI/UX) Design, Color Theory, Performance Tuning, Geospatial Mapping, C# (Programming Language), Scripting, Data Persistence, Linear Algebra

    4.9
    Rating, 4.9 out of 5 stars
    ·
    39 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    Indian Institute of Technology Guwahati

    Digital Manufacturing

    Skills you'll gain: SolidWorks (CAD), Computer-Aided Design, Computer Graphics, 3D Modeling, Manufacturing Processes, Mechanical Design, Robotics, Engineering Drawings, Manufacturing Operations, Visualization (Computer Graphics), Prototyping, Industrial Design, Product Engineering, Production Process, Process Development, Simulation and Simulation Software, Materials science, Automation, Process Engineering, Industrial Engineering

    4.2
    Rating, 4.2 out of 5 stars
    ·
    12 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Introduction to Ethical Hacking and Recon Techniques

    Skills you'll gain: MITRE ATT&CK Framework, Threat Modeling, Cyber Threat Intelligence, Penetration Testing, Threat Management, Threat Detection, Cybersecurity, Vulnerability Scanning, Cyber Attacks, Data Ethics, Vulnerability Assessments, Security Strategy, Network Security, Network Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Information Systems Auditing and Governance

    Skills you'll gain: Audit Planning, Auditing, Internal Controls, Risk Management Framework, Continuous Monitoring, Compliance Auditing, Project Coordination, Financial Controls, Quality Assurance, Information Systems Security, Cyber Security Assessment, Governance, Presentations

    4.6
    Rating, 4.6 out of 5 stars
    ·
    32 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Program Management: Framework, Strategy, and Planning

    Skills you'll gain: Program Management, Organizational Strategy, Risk Management, Project Management Life Cycle, Project Management, Benefits Administration, Business Planning, Resource Management, Portfolio Management, Stakeholder Management, Change Management, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    44 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    LLM Application Engineering and Development Certification

    Skills you'll gain: LangChain, LLM Application, Large Language Modeling, AI Workflows, Retrieval-Augmented Generation, Embeddings, Generative AI, Model Evaluation, Hugging Face, Prompt Engineering, PyTorch (Machine Learning Library), Tensorflow, Semantic Web, Natural Language Processing, Artificial Intelligence, Application Development, Analytical Skills, Application Programming Interface (API), Supervised Learning, Computer Programming Tools

    3.2
    Rating, 3.2 out of 5 stars
    ·
    13 reviews

    Beginner · Specialization · 1 - 3 Months

  • U

    University of Illinois Urbana-Champaign

    Golf Course Management: Best Practices

    Skills you'll gain: Architecture and Construction, Landscape Architecture, Land Management, Plant Operations and Management, Property Maintenance, Water Resource Management, Environmental Science

    4.9
    Rating, 4.9 out of 5 stars
    ·
    14 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Global Disease Masterclass: Global Disease Distribution

    Skills you'll gain: Epidemiology, Health Disparities, Public Health, Social Determinants Of Health, Infectious Diseases, Health Care, Health Systems, Health Policy, Socioeconomics, Health Assessment, Chronic Diseases, Statistical Analysis, Data Collection

    4.7
    Rating, 4.7 out of 5 stars
    ·
    128 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Data Modeling and Architecture

    Skills you'll gain: Data Analysis Expressions (DAX), Data Ethics, Data Modeling, Data Governance, Data Architecture, Database Design, Power BI, Star Schema, Information Privacy, Data Visualization Software, Data Security, Data Integrity, Snowflake Schema, Relational Databases, Data Cleansing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    18 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Introduction to Healthcare Finance

    Skills you'll gain: Mergers & Acquisitions, Strategic Decision-Making, Financial Analysis, Return On Investment, Business Valuation, Cost Benefit Analysis, Financial Modeling, Finance, Pharmaceuticals, Investment Banking, Negotiation, Healthcare Industry Knowledge, Corporate Finance, Health Care, Cash Flows

    4.5
    Rating, 4.5 out of 5 stars
    ·
    18 reviews

    Intermediate · Course · 1 - 4 Weeks

1…340341342…583

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

  • Psychosocial and Spiritual Aspects of Palliative Care: University of Colorado System
  • Structuring Values in Modern China: The Chinese University of Hong Kong
  • Advanced Unity Projects: RPG, Level Design & VFX: EDUCBA
  • Digital Manufacturing: Indian Institute of Technology Guwahati
  • Introduction to Ethical Hacking and Recon Techniques: Packt
  • Information Systems Auditing and Governance: Packt
  • Program Management: Framework, Strategy, and Planning: SkillUp
  • LLM Application Engineering and Development Certification: Simplilearn
  • Golf Course Management: Best Practices: University of Illinois Urbana-Champaign
  • Global Disease Masterclass: Global Disease Distribution: Imperial College London

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