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

    ESSEC Business School

    Hôtel “De l'étoile” - a hotel in crisis?

    Skills you'll gain: Revenue Management, Competitive Analysis, Stakeholder Communications, Hospitality Management, Hotel Operations, Financial Analysis, Strategic Planning, Presentations, Case Studies, Business Planning, Brand Management, Market Analysis, Profit and Loss (P&L) Management, Decision Making

    4.6
    Rating, 4.6 out of 5 stars
    ·
    116 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Prepare for DP-100: Data Science on Microsoft Azure Exam

    Skills you'll gain: Databricks, Model Deployment, Responsible AI, Microsoft Azure, Data Science, Applied Machine Learning, MLOps (Machine Learning Operations), Predictive Modeling, Model Evaluation, Machine Learning, Data Preprocessing, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning

    4.4
    Rating, 4.4 out of 5 stars
    ·
    79 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    MathWorks

    Computer Vision for Engineering and Science

    Skills you'll gain: Computer Vision, Image Analysis, Model Evaluation, Deep Learning, Matlab, Machine Learning Methods, Convolutional Neural Networks, Data Preprocessing, Machine Learning, Classification Algorithms, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Transfer Learning, Geospatial Information and Technology, Traffic Flow Optimization, Medical Imaging, Data Validation, Estimation, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    92 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    E

    EDHEC Business School

    Introduction to EdTech

    Skills you'll gain: Digital pedagogy, Education Software and Technology, AI Personalization, Responsible AI, Data Ethics, Emerging Technologies, New Business Development, Innovation, Digital Transformation, New Product Development, AI Enablement, Artificial Intelligence, Augmented and Virtual Reality (AR/VR), Strategic Decision-Making

    4.6
    Rating, 4.6 out of 5 stars
    ·
    87 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Hardening, Polymers, Properties

    Skills you'll gain: Materials science, Thermal Management, Mechanical Engineering, Chemical Engineering, Manufacturing Processes, Chemistry

    4.4
    Rating, 4.4 out of 5 stars
    ·
    91 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    Emory University

    Survey analysis to Gain Marketing Insights

    Skills you'll gain: Customer Analysis, Statistical Analysis, Target Market, Marketing Analytics, Market Research, Data Analysis, Data Analysis Software, Marketing, Exploratory Data Analysis, Marketing Strategy and Techniques, Consumer Behaviour, Brand Strategy

    4.5
    Rating, 4.5 out of 5 stars
    ·
    123 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidad de los Andes

    Analítica de Procesos: Optimización desde los Datos

    Skills you'll gain: Process Analysis, Business Process, Process Optimization, Process Management, Business Process Modeling, Process Improvement, Data Transformation, Performance Analysis, Operational Efficiency, Performance Metric, Data-Driven Decision-Making, Simulation and Simulation Software

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    99 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Mastering DeepSeek.ai: From Fundamentals to Advanced Skills

    Skills you'll gain: Make.com, Email Automation, DeepSeek API, Deepseek, Workflow Management, AI Workflows, No-Code Development, Operational Efficiency, Agentic Workflows, AI Enablement, Large Language Modeling, Retrieval-Augmented Generation, Automation, Generative AI, Application Programming Interface (API), Embeddings, Model Deployment, Natural Language Processing, Prompt Engineering, Debugging

    4.1
    Rating, 4.1 out of 5 stars
    ·
    46 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Corporate Finance Institute

    Practical Data Science for Data Analysts

    Skills you'll gain: Classification Algorithms, Data Preprocessing, Feature Engineering, Model Evaluation, Data Import/Export, Matplotlib, Data Science, Regression Analysis, Financial Data, Data Analysis, Exploratory Data Analysis, Business Analytics, Data Cleansing, Pandas (Python Package), Machine Learning Algorithms, Statistical Visualization, Financial Analysis, Statistical Modeling, Statistical Analysis, Predictive Analytics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    28 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    S

    Sapienza University of Rome

    Paesaggi di Roma Antica. Archeologia e storia del Palatino.

    Skills you'll gain: Ancient History, Scientific Methods, Research, Research Methodologies, Investigation, Spatial Analysis, Art History, Geographic Information Systems, World History, Cultural Responsiveness, Data Integration, Culture, Information Systems

    4.8
    Rating, 4.8 out of 5 stars
    ·
    146 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Investigación de mercados y comportamiento del consumidor

    Skills you'll gain: Consumer Behaviour, Survey Creation, Market Research, Data Analysis, Marketing, Data Collection, Marketing Psychology, Marketing Strategies, Research Design, Market Data, Target Market, Experimentation, Decision Making, B2B Sales

    4.5
    Rating, 4.5 out of 5 stars
    ·
    747 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Edinburgh

    Intellectual Humility: Practice

    Skills you'll gain: Empathy, Critical Thinking, Research, Diversity Awareness, Open Mindset, Emotional Intelligence, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    153 reviews

    Beginner · Course · 1 - 3 Months

1…234235236…578

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

  • Hôtel “De l'étoile” - a hotel in crisis? : ESSEC Business School
  • Prepare for DP-100: Data Science on Microsoft Azure Exam: Microsoft
  • Computer Vision for Engineering and Science: MathWorks
  • Introduction to EdTech: EDHEC Business School
  • Hardening, Polymers, Properties: Arizona State University
  • Survey analysis to Gain Marketing Insights: Emory University
  • Analítica de Procesos: Optimización desde los Datos: Universidad de los Andes
  • Mastering DeepSeek.ai: From Fundamentals to Advanced Skills: Board Infinity
  • Practical Data Science for Data Analysts: Corporate Finance Institute
  • Paesaggi di Roma Antica. Archeologia e storia del Palatino.: Sapienza University of Rome

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