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

    University of London

    Global Diplomacy – Diplomacy in the Modern World

    Skills you'll gain: Diplomacy, International Relations, Political Sciences, Cultural Diversity, Mediation, Intercultural Competence, Public Affairs, World History, Conflict Management, Policy Analysis

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Value Chain Management

    Skills you'll gain: Management Accounting, Operations Management, Marketing Planning, Organizational Strategy, Marketing, Performance Measurement, Product Strategy, Supply Chain, Continuous Improvement Process, Manufacturing Operations, Operational Analysis, Integrated Marketing Communications, Business Operations, Operations, Marketing Management, Process Improvement, Cost Accounting, Performance Analysis, Supply Chain Management, Quality Control

    Build toward a degree

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    AI Fundamentals for Non-Data Scientists

    Skills you'll gain: Generative AI, Big Data, Machine Learning Algorithms, Generative Adversarial Networks (GANs), Machine Learning, Customer Data Management, Autoencoders, Artificial Intelligence, Deep Learning, Model Evaluation, Algorithms, Process Optimization, Data Analysis, Artificial Neural Networks

    4.8
    Rating, 4.8 out of 5 stars
    ·
    967 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Managing Cybersecurity

    Skills you'll gain: Network Security, Incident Response, Network Administration, Vulnerability Management, Cybersecurity, Contingency Planning, Cyber Governance, Cyber Attacks, Disaster Recovery, Cyber Security Policies, Security Management, Firewall, Computer Security Incident Management, Network Monitoring, General Networking, Cyber Security Strategy, Crisis Management, Vulnerability Assessments, Cyber Risk, Risk Management

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    N

    National Taiwan University

    BIM Application for Engineers

    Skills you'll gain: Autodesk Revit, Building Information Modeling, AutoCAD, Construction Estimating, Simulation and Simulation Software, 3D Modeling, Construction Management, Data Integration

    4.7
    Rating, 4.7 out of 5 stars
    ·
    523 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Introduction to Corporate Finance

    Skills you'll gain: Return On Investment, Capital Budgeting, Finance, Capital Expenditure, Forecasting, Cash Flow Forecasting, Financial Modeling, Financial Analysis, Cost Benefit Analysis, Financial Management, Financial Acumen, Corporate Finance, Business Valuation, Cash Flows, Risk Analysis, Depreciation, Loans, Working Capital

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

    Mixed · Course · 1 - 4 Weeks

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

    Edureka

    Building RAG and MCP Servers with Claude

    Skills you'll gain: Retrieval-Augmented Generation, Model Context Protocol, Agentic Workflows, AI Orchestration, Generative AI Agents, Anthropic Claude, Prompt Engineering, Tool Calling, Generative AI, Automation, Scalability, Application Programming Interface (API), Servers, Python Programming

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Edinburgh

    Astrobiology and the Search for Extraterrestrial Life

    Skills you'll gain: Life Sciences, Biology, Environmental Science, Environment, Research, Biochemistry, Microbiology, Scientific Methods, Chemistry

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.7K reviews

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Automate, Enhance, and No-Code Apps

    Skills you'll gain: No-Code Development, Workflow Management, Business Process Modeling, Process Mapping, Business Process, Data Integration

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    B

    Board Infinity

    Mastering Mindfulness: A Journey to Wellness with Headspace

    Skills you'll gain: Stress Management, Mindfulness, Emotional Intelligence, Personal Development, Resilience, Self-Awareness, Persistence, Mental Health, Goal Setting, Adaptability, Journals, Accountability

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    DeepLearning.AI TensorFlow Developer

    Skills you'll gain: Tensorflow, Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Computer Vision, Model Evaluation, Transfer Learning, Image Analysis, Keras (Neural Network Library), Natural Language Processing, Time Series Analysis and Forecasting, Deep Learning, Embeddings, Artificial Neural Networks, Generative AI, Applied Machine Learning, Classification Algorithms, Predictive Modeling, Data Preprocessing, Forecasting, Machine Learning

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

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    Make the Sale: Build, Launch, and Manage E-commerce Stores

    Skills you'll gain: Order Fulfillment, Online Advertising, E-Commerce, Google Ads, Digital Advertising, Customer experience improvement, Market Research, Advertising Campaigns, Sales, Shipping and Receiving, Market Trend, Process Optimization, Target Audience

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2K reviews

    Beginner · Course · 1 - 4 Weeks

1…676869…567

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

  • Global Diplomacy – Diplomacy in the Modern World: University of London
  • Value Chain Management: University of Illinois Urbana-Champaign
  • AI Fundamentals for Non-Data Scientists: University of Pennsylvania
  • Managing Cybersecurity: Kennesaw State University
  • BIM Application for Engineers: National Taiwan University
  • Introduction to Corporate Finance: University of Pennsylvania
  • Building RAG and MCP Servers with Claude: Edureka
  • Astrobiology and the Search for Extraterrestrial Life: The University of Edinburgh
  • Automate, Enhance, and No-Code Apps: Coursera
  • Mastering Mindfulness: A Journey to Wellness with Headspace: Board Infinity

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