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

    Board Infinity

    Mastering DeepSeek: From Architecture to Application

    Skills you'll gain: DeepSeek API, Deepseek, Retrieval-Augmented Generation, Model Deployment, AI Enablement, Make.com, Generative Model Architectures, LLM Application, Cloud Deployment, Embeddings, Software Documentation, Unit Testing, Key Management

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Managing Up

    Skills you'll gain: Rapport Building, Relationship Building, Constructive Feedback, Empathy, Collaboration, Professional Networking, Trustworthiness, Influencing, Growth Mindedness, Communication Strategies

    4.6
    Rating, 4.6 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Theoretical Bases of Health and Injury Management

    Skills you'll gain: Kinesiology, Applied Machine Learning, Bayesian Network, Machine Learning, Data-Driven Decision-Making, Epidemiology, Load Balancing, Health Education, Data Integration, Systems Engineering, Psychological Evaluations

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    M

    Maven Analytics

    Complete Visual Guide to Machine Learning

    Skills you'll gain: Unsupervised Learning, Model Evaluation, Regression Analysis, Exploratory Data Analysis, Applied Machine Learning, Time Series Analysis and Forecasting, Data Analysis, Classification Algorithms, Statistical Analysis, Data Science, Data Preprocessing, Data Mining, Machine Learning, Predictive Modeling, Machine Learning Algorithms, Customer Analysis, Supervised Learning, Histogram, Data Quality, Business Intelligence

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    O

    O.P. Jindal Global University

    Introduction to Health Policy

    Skills you'll gain: Health Disparities, Health Equity, Social Determinants Of Health, Health Systems, Public Health, Health Policy, Health Care, Epidemiology, Social Justice, Social Sciences, Demography, Economics

    Build toward a degree

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Applied Football Analytics - Looking at real-world cases

    Skills you'll gain: Data Synthesis, Data Integration, Data Literacy, Data Storytelling, Analysis, Case Studies, Business Analytics, Advanced Analytics, Analytical Skills, Strategic Decision-Making, Business Metrics, Forecasting, Media and Communications, Statistics, Persuasive Communication, Databases, Database Design, Innovation

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidades Anáhuac

    Filosofía, Ciencia y humanidad

    Skills you'll gain: Social Sciences, Sociology, Culture, Psychology, Anthropology, World History, Ethical Standards And Conduct, Human Development, Scientific Methods, Economics, Biology

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    LearnQuest

    Foundations of Agent-Based AI Systems

    Skills you'll gain: AI Workflows, Artificial Intelligence and Machine Learning (AI/ML), Agentic systems, System Design and Implementation, Unified Modeling Language, Performance Metric, Performance Measurement, Requirements Analysis, Performance Analysis, Model Evaluation, Prototyping, Stakeholder Communications, Simulation and Simulation Software, Benchmarking

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Auto Machine Learning (AutoML) Using AutoGluon

    Skills you'll gain: AWS SageMaker, Applied Machine Learning, Classification Algorithms, Model Evaluation, Machine Learning, Python Programming, Prototyping

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    I

    INSEAD

    Blockchain Opportunity Analysis for Global Commerce

    Skills you'll gain: Blockchain, Market Opportunities, Competitive Analysis, Business Analysis, Entrepreneurship, New Business Development, Case Studies, Solution Design, Market Analysis, Project Implementation, Proposal Development, Business Strategy, Value Propositions, Feasibility Studies, Market Research, Decision Making

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    F

    FAIR Institute

    Foundations of Cyber Risk Management and FAIRâ„¢

    Skills you'll gain: Risk Analysis, Cyber Risk, Cyber Threat Intelligence, Threat Modeling, Cyber Security Strategy, Governance, Risk Management, Enterprise Risk Management (ERM), Strategic Decision-Making, Risk Mitigation, Business Risk Management, Strategic Prioritization, Compliance Reporting, Management Reporting, Business Communication

    4.5
    Rating, 4.5 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    Edureka

    AI for Strategic Decision Intelligence

    Skills you'll gain: Data Storytelling, Predictive Analytics, Data Presentation, Responsible AI, Predictive Modeling, Strategic Decision-Making, Data-Driven Decision-Making, Business Intelligence, Data Visualization, Decision Making, Artificial Intelligence and Machine Learning (AI/ML), Scikit Learn (Machine Learning Library), Business Marketing, Natural Language Processing, Text Mining, Python Programming, Reinforcement Learning, Data Security, Network Analysis, Security Awareness

    Beginner · Course · 1 - 4 Weeks

1…442443444…587

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

  • Mastering DeepSeek: From Architecture to Application: Board Infinity
  • Managing Up : Arizona State University
  • Theoretical Bases of Health and Injury Management : Real Madrid Graduate School Universidad Europea
  • Complete Visual Guide to Machine Learning: Maven Analytics
  • Introduction to Health Policy: O.P. Jindal Global University
  • Applied Football Analytics - Looking at real-world cases: Real Madrid Graduate School Universidad Europea
  • Filosofía, Ciencia y humanidad: Universidades Anáhuac
  • Foundations of Agent-Based AI Systems: LearnQuest
  • Auto Machine Learning (AutoML) Using AutoGluon : Coursera
  • Blockchain Opportunity Analysis for Global Commerce: INSEAD

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