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

    Johns Hopkins University

    The Unix Workbench

    Skills you'll gain: GitHub, Unix, Git (Version Control System), Unix Commands, Version Control, Bash (Scripting Language), Ubuntu, Command-Line Interface, Cloud Computing, Shell Script, Linux, Mac OS, Scripting, Scripting Languages, Programming Principles, File Management

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    New York University

    Real-Time Cyber Threat Detection and Mitigation

    Skills you'll gain: Network Security, Firewall, Distributed Denial-Of-Service (DDoS) Attacks, Threat Modeling, Network Architecture, Intrusion Detection and Prevention, TCP/IP, Cybersecurity, Threat Detection, Cyber Attacks, Enterprise Security, Infrastructure Security, Network Protocols, Proxy Servers

    4.7
    Rating, 4.7 out of 5 stars
    ·
    659 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    I

    IIMA - IIM Ahmedabad

    Strategy and Game Theory for Management

    Skills you'll gain: Strategic Thinking, Game Theory, Behavioral Economics, Business Strategy, Strategic Decision-Making, Complex Problem Solving, Problem Solving, Strategic Leadership, Critical Thinking, Decision Making, Market Dynamics, Organizational Change, Business Analysis, Economics, Digital Media Strategy, Market Opportunities, Negotiation, Risk Management, Mergers & Acquisitions, Innovation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    132 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universiteit Leiden

    Clinical Kidney, Pancreas and Islet Transplantation

    Skills you'll gain: Surgery, Care Management, Patient Education And Counseling, Clinical Research, Immunology, Nephrology, Patient Treatment, Chronic Diseases, Geriatrics, Patient Evaluation, Treatment Planning, Diagnostic Tests, Risk Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    372 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Business intelligence and data warehousing

    Skills you'll gain: Data Warehousing, Extract, Transform, Load, Business Intelligence, Data Mining, Big Data, Predictive Analytics, Data Modeling, MySQL, Business Analytics, Apache Hadoop, Data Integration, Star Schema, Unstructured Data, Database Design, SQL, Data Transformation

    3.9
    Rating, 3.9 out of 5 stars
    ·
    101 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Generative AI as a Learning Design Partner

    Skills you'll gain: Generative AI, Responsible AI, Prompt Engineering, ChatGPT, Instructional Design, LLM Application, Ideation, Education Software and Technology, Brainstorming, Design Strategies, Artificial Intelligence, Content Creation, Data Ethics, Creative Design, Emerging Technologies, Persona Development, Professional Development, digital literacy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    76 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    F

    Fractal Analytics

    Generative AI for Developers

    Skills you'll gain: Prompt Engineering, Responsible AI, Generative AI, Generative Model Architectures, Code Review, Data Ethics, Artificial Intelligence, Large Language Modeling, Machine Learning Methods, Object Oriented Programming (OOP), Artificial Intelligence and Machine Learning (AI/ML), AI Enablement, Maintainability, Artificial Neural Networks, Programming Principles, Data Cleansing, Debugging, Problem Solving, Critical Thinking, Data Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    196 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Cybersecurity and the Internet of Things

    Skills you'll gain: Internet Of Things, Cybersecurity, Cyber Security Strategy, Cyber Security Policies, Mobile Security, Security Awareness, Wireless Networks, Information Privacy, Data Security, Emerging Technologies, Vulnerability Assessments

    4.6
    Rating, 4.6 out of 5 stars
    ·
    2.2K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Introduction to Uncertainty Quantification

    Skills you'll gain: Probability, Bayesian Statistics, Probability Distribution, Risk Modeling, Mathematical Modeling, Statistical Inference, Markov Model, Reliability, Simulations, Applied Mathematics, Statistical Analysis, Regression Analysis

    5
    Rating, 5 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The State University of New York

    Global Health Diplomacy

    Skills you'll gain: Diplomacy, International Relations, Health Policy, Governance, Health Systems, Public Health and Disease Prevention, Public Health, International Finance, Policty Analysis, Research, and Development, Health Care, Public Safety and National Security, Philanthropy, Advocacy, Economic Development, Case Studies

    4.6
    Rating, 4.6 out of 5 stars
    ·
    128 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnKartS

    Campus to Corporate Training Program

    Skills you'll gain: Teamwork, Active Listening, Problem Solving, Emotional Intelligence, Collaboration, Verbal Communication Skills, Growth Mindedness, Team Leadership, Productivity, Personal Integrity, Workplace Bullying Intervention, Compliance Management, Information Privacy, Security Controls, Overcoming Obstacles, Accountability, Communication, Mental Health, Diversity Awareness, Diversity and Inclusion

    4.7
    Rating, 4.7 out of 5 stars
    ·
    431 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Operations and Process Management

    Skills you'll gain: Process Improvement, Process Management, Business Process, Business Process Management, Process Analysis, Business Process Improvement, Performance Improvement, Quality Improvement, Continuous Improvement Process, Process Mapping, Quality Management, Operational Excellence, Return On Investment, Change Management, Performance Measurement, Risk Management, Business Technologies, Project Management, Pareto Chart, Key Performance Indicators (KPIs)

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    189 reviews

    Intermediate · Course · 1 - 3 Months

1…150151152…569

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

  • The Unix Workbench: Johns Hopkins University
  • Real-Time Cyber Threat Detection and Mitigation: New York University
  • Strategy and Game Theory for Management: IIMA - IIM Ahmedabad
  • Clinical Kidney, Pancreas and Islet Transplantation: Universiteit Leiden
  • Business intelligence and data warehousing: Universidad Nacional Autónoma de México
  • Generative AI as a Learning Design Partner: University of Michigan
  • Generative AI for Developers: Fractal Analytics
  • Cybersecurity and the Internet of Things: Kennesaw State University
  • Introduction to Uncertainty Quantification: Johns Hopkins University
  • Global Health Diplomacy: The State University of New York

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