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


  • J

    Johns Hopkins University

    Advanced Business Analytics: Excel Optimization & Simulation

    Skills you'll gain: Operations Research, Resource Allocation, Simulation and Simulation Software, Microsoft Excel, Business Analytics, Data-Driven Decision-Making, Business Risk Management, Transportation Operations, Analytics, Risk Analysis, Process Optimization, Statistical Methods, Business Modeling, Logistics

    4.9
    Rating, 4.9 out of 5 stars
    ·
    51 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    AI Workflow: AI in Production

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Cloud Deployment, Unit Testing, Docker (Software), Containerization, Kubernetes, AI Workflows, IBM Cloud, Microservices, Machine Learning, Responsible AI, Business Metrics, Natural Language Processing, Time Series Analysis and Forecasting, Data Science, Python Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    55 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Advanced Leadership Skills for the 21st Century

    Skills you'll gain: Leadership Development, Crisis Management, Strategic Leadership, Organizational Change, Leadership, Organizational Leadership, Leadership and Management, Team Leadership, Business Leadership, Change Management, Diversity and Inclusion, Diversity Equity and Inclusion Initiatives, Visionary, Team Management, Team Building, Dealing With Ambiguity, Organizational Strategy, Coaching, Professional Development, Employee Performance Management

    4.5
    Rating, 4.5 out of 5 stars
    ·
    77 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    R

    Rutgers the State University of New Jersey

    Soul Beliefs: Causes and Consequences - Unit 3: How Does It All End?

    Skills you'll gain: Anthropology, Social Sciences, Cultural Diversity, Sociology, Psychology, Education and Training, Science and Research, Ancient History, Neurology, Legal Proceedings

    4.4
    Rating, 4.4 out of 5 stars
    ·
    94 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    National Taiwan University

    工程圖學 3D CAD

    Skills you'll gain: SketchUp (3D Modeling Software), 3D Modeling, Computer-Aided Design, Visualization (Computer Graphics), Computer Graphics, 3D Assets

    4.8
    Rating, 4.8 out of 5 stars
    ·
    94 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Copenhagen

    European Citizenship – Development, Scope, and Challenges

    Skills you'll gain: European History, Immigration Law, Political Sciences, Cultural Diversity, Social Justice, Policy Analysis, International Relations, Case Law, Social Sciences, Public Policies, Governance

    4.8
    Rating, 4.8 out of 5 stars
    ·
    68 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    S

    Starweaver

    Tools and Techniques for Managing Stress

    Skills you'll gain: Stress Management, Resilience, Emotional Intelligence, Time Management, Personal Development, Organizational Skills, Mindfulness, Adaptability, Productivity, Prioritization, Personal Care, Goal Setting, Leadership

    4.7
    Rating, 4.7 out of 5 stars
    ·
    35 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    P

    Princeton University

    Analytic Combinatorics

    Skills you'll gain: Combinatorics, Mathematical Theory & Analysis, Advanced Mathematics, Graph Theory, Theoretical Computer Science, Calculus, Probability, Computational Thinking

    4.7
    Rating, 4.7 out of 5 stars
    ·
    71 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Artificial Intelligence for Breast Cancer Detection

    Skills you'll gain: Mammography, Artificial Intelligence, Medical Imaging, Image Analysis, Oncology, Diagnostic Radiology, Bayesian Network, Artificial Neural Networks, Radiography, Machine Learning, Model Evaluation, Epidemiology, Deep Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    79 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    W

    Wesleyan University

    Career Decisions: From Insight to Impact

    Skills you'll gain: Professional Networking, Design Thinking, Decision Making, Professional Development, Self-Awareness, Personal Development, Creative Thinking, Social Sciences, Cultural Diversity, Workforce Development, Dealing With Ambiguity, Adaptability, Growth Mindedness

    4.7
    Rating, 4.7 out of 5 stars
    ·
    380 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Database Design and Operational Business Intelligence

    Skills you'll gain: Extract, Transform, Load, Decision Support Systems, Data Warehousing, Data Mining, Database Design, Business Intelligence, Dashboard, Star Schema, Relational Databases, Database Management, Data Visualization Software, Snowflake Schema, Data Visualization, Business Reporting, Database Management Systems, SAS (Software), Data Modeling, Interactive Data Visualization, SQL, Descriptive Statistics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    238 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Leeds

    Decision Making - How to Choose the Right Problem to Solve

    Skills you'll gain: Problem Solving, Decision Making, Peer Review, Critical Thinking, Risk Analysis, Brainstorming, Strategic Decision-Making, Persuasive Communication, Estimation, Analysis, Prioritization, Professional Development

    4.8
    Rating, 4.8 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 4 Weeks

1…221222223…574

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

  • Advanced Business Analytics: Excel Optimization & Simulation: Johns Hopkins University
  • AI Workflow: AI in Production: IBM
  • Advanced Leadership Skills for the 21st Century: Kennesaw State University
  • Soul Beliefs: Causes and Consequences - Unit 3: How Does It All End?: Rutgers the State University of New Jersey
  • 工程圖學 3D CAD: National Taiwan University
  • European Citizenship – Development, Scope, and Challenges: University of Copenhagen
  • Tools and Techniques for Managing Stress: Starweaver
  • Analytic Combinatorics: Princeton University
  • Artificial Intelligence for Breast Cancer Detection: Johns Hopkins University
  • Career Decisions: From Insight to Impact: Wesleyan University

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