• 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

    UBITS

    Implementa sistemas Kanban con STATIK

    Skills you'll gain: Workflow Management, Service Improvement, Kanban Principles, Business Process, Customer Analysis, Process Analysis, Capacity Management, Process Improvement, Operational Excellence, Team Performance Management, Lean Methodologies, Continuous Improvement Process, Systems Thinking

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    Image Captioning with TensorFlow & Streamlit

    Skills you'll gain: Amazon Elastic Compute Cloud, Amazon Web Services, Model Deployment, Tensorflow, Image Analysis, Convolutional Neural Networks, Feature Engineering, Data Preprocessing, Deep Learning, Applied Machine Learning, Application Development, Recurrent Neural Networks (RNNs), Model Evaluation

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    The Open University

    From prototyping to validating business models

    Skills you'll gain: Sustainable Business, Stakeholder Engagement, Corporate Sustainability, Business Modeling, Environmental Social And Corporate Governance (ESG), Stakeholder Analysis, Systems Thinking, Value Propositions, Design Thinking, Verification And Validation, Presentations, Innovation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    G

    Google Cloud

    Create Image Captioning Models - Français

    Skills you'll gain: Image Analysis, Deep Learning, Convolutional Neural Networks, Keras (Neural Network Library), Embeddings, Model Evaluation, PyTorch (Machine Learning Library), Tensorflow

    Advanced · Course · 1 - 4 Weeks

  • H

    H2O.ai

    DataPrep for H2O Driverless AI

    Skills you'll gain: Supervised Learning, Data Preprocessing, Machine Learning, Machine Learning Algorithms, Time Series Analysis and Forecasting, Data Quality, Unsupervised Learning, Data Cleansing, Data Analysis, Feature Engineering, Data Transformation, Data Manipulation, Model Evaluation, Exploratory Data Analysis, Classification Algorithms, Regression Analysis

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Power Platform & SPFx: SharePoint Dev Essentials

    Skills you'll gain: Microsoft Power Platform, No-Code Development, Microsoft 365, Workflow Management, On-The-Job Training, Process Improvement, Business Process Automation, Application Development, Decision Making, Design Software, Power Electronics, Systems Integration, Governance

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Digital Transformation with Google Cloud - Português Brasileiro

    Skills you'll gain: Cloud Solutions, Cloud Infrastructure, Digital Transformation, Cloud Computing, Public Cloud, Hybrid Cloud Computing, Multi-Cloud, Cloud Security, Software As A Service, Platform As A Service (PaaS), Infrastructure As A Service (IaaS), Business Transformation, Technology Strategies, Capital Expenditure, Financial Modeling

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Pearson

    Data Science Fundamentals Part 2: Unit 1

    Skills you'll gain: Exploratory Data Analysis, Matplotlib, Box Plots, Data Analysis, Data Visualization, Descriptive Statistics, Scatter Plots, Data Visualization Software, Histogram, Seaborn, Statistical Analysis, Correlation Analysis, Statistical Methods

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Kitbashing and Prop Creation

    Skills you'll gain: 3D Modeling, Simulations, Aesthetics

    Intermediate · Course · 3 - 6 Months

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

    EDUCBA

    XHTML - Advanced Styling with CSS

    Skills you'll gain: Browser Compatibility, Responsive Web Design, HTML and CSS, Cascading Style Sheets (CSS), Web Design, Extensible Markup Language (XML), Style Guides, Maintainability

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    JavaScript essentials for Node-RED

    Skills you'll gain: Computational Logic, Object Oriented Programming (OOP)

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    Houdini VEX Wrangles: Procedural Effects Guide

    Skills you'll gain: 3D Modeling, 3D Assets, Visualization (Computer Graphics), Computer Graphics, Linear Algebra, Animations, Programming Principles, Scripting, Simulations, User Interface (UI), Computational Logic, Data Structures

    Mixed · Course · 1 - 3 Months

1…546547548…566

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

  • Implementa sistemas Kanban con STATIK: UBITS
  • Image Captioning with TensorFlow & Streamlit: EDUCBA
  • From prototyping to validating business models: The Open University
  • Create Image Captioning Models - Français: Google Cloud
  • DataPrep for H2O Driverless AI: H2O.ai
  • Power Platform & SPFx: SharePoint Dev Essentials: Coursera
  • Digital Transformation with Google Cloud - Português Brasileiro: Google Cloud
  • Data Science Fundamentals Part 2: Unit 1: Pearson
  • Advanced Kitbashing and Prop Creation: Packt
  • XHTML - Advanced Styling with CSS: EDUCBA

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