• 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: New
    New
    P

    Pearson

    Learn MLOps for Machine Learning

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, AWS SageMaker, CI/CD, Data Management, Cloud Deployment, Model Evaluation, Data Preprocessing, Machine Learning, Automation, Data Pipelines, Continuous Monitoring

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Data Connection and Functionalities in Power BI

    Skills you'll gain: Relational Databases, Database Design, Transact-SQL, Data Visualization, Microsoft SQL Servers, Power BI, Databases, Database Management, Data Visualization Software, SQL, Data Preprocessing, Data Analysis Expressions (DAX), Data Management, Data Integrity, Data Modeling, Data Access, Data Manipulation, Data Transformation, Data Import/Export

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    B

    Birla Institute of Technology & Science, Pilani

    Algorithm Design: Mastering Computational Problem Solving

    Skills you'll gain: Computer Science, Machine Learning Algorithms, Solution Design, Problem Solving, Mathematical Theory & Analysis

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    N

    National Taiwan University

    Operations Research (4): Capstone Project

    Skills you'll gain: Report Writing, Operations Research, Applied Mathematics, Mathematical Modeling, Algorithms, Industrial Engineering, Business Modeling, Process Optimization, Engineering Calculations, Feasibility Studies, Project Design, Engineering Management, Business Operations, Computational Thinking, Data Visualization, Complex Problem Solving, Decision Making, Performance Metric, Business Analytics

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Understanding the Healthcare Innovation Process II

    Skills you'll gain: Lean Six Sigma, Performance Improvement, Statistical Process Controls, Operational Analysis, Process Improvement, Statistical Methods, Continuous Improvement Process, Innovation, Operations Management, Probability & Statistics, Problem Solving

    Build toward a degree

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    PySpark: Apply & Analyze Advanced Data Processing

    Skills you'll gain: PySpark, Customer Analysis, Big Data, Data Processing, Advanced Analytics, Statistical Modeling, Text Mining, Customer Insights, Risk Modeling, Data Transformation, Unstructured Data, Simulation and Simulation Software, Data Manipulation, Image Analysis

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Entrepreneurial Competencies for Landscape Restoration

    Skills you'll gain: Design Thinking, Sustainable Development, Sustainable Business, Entrepreneurship, Environmental Social And Corporate Governance (ESG), Product Development, Business Modeling, Innovation, Investment Banking, Ideation, Stakeholder Management, Customer Analysis

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Y

    Yunus Social Business Fund Bengaluru

    Value and Individual Decision Making

    Skills you'll gain: Finance, Financial Modeling, Financial Acumen, Financial Analysis, Corporate Finance, Business Valuation, Decision Making, Microsoft Excel, Social Impact, Investments, Economics, Policy, and Social Studies

    Beginner · Course · 1 - 3 Months

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

    EDUCBA

    Python: Logistic Regression & Supervised ML

    Skills you'll gain: Model Evaluation, Feature Engineering, Supervised Learning, Exploratory Data Analysis, Classification Algorithms, Machine Learning Algorithms, Applied Machine Learning, Decision Tree Learning, Logistic Regression, Predictive Modeling, Data Analysis, Scikit Learn (Machine Learning Library), Data Preprocessing, Pandas (Python Package), NumPy, Data Cleansing

    4.4
    Rating, 4.4 out of 5 stars
    ·
    17 reviews

    Mixed · 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: New
    New
    Status: Free Trial
    Free Trial
    D

    Duke University

    Financing for Impact Entrepreneurs

    Skills you'll gain: Entrepreneurial Finance, Finance, Entrepreneurship, Capital Markets, Environmental Social And Corporate Governance (ESG), Social Impact, Investments, Return On Investment, Fiscal Management, Financial Management, Stakeholder Engagement, Strategic Partnership, Decision Making, Asset Management, Portfolio Management, Business Strategy, Investment Management, International Finance, Business Management, Market Dynamics

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    H

    H2O.ai

    H2O ai Large Language Models (LLMs) - Level 3

    Skills you'll gain: Model Evaluation, Generative AI, LLM Application, Prompt Engineering, Training Programs, Large Language Modeling, Applied Machine Learning, Open Source Technology, Benchmarking, Artificial Neural Networks

    Advanced · Course · 1 - 3 Months

1…486487488…587

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

  • Learn MLOps for Machine Learning: Pearson
  • Data Connection and Functionalities in Power BI: Edureka
  • Algorithm Design: Mastering Computational Problem Solving: Birla Institute of Technology & Science, Pilani
  • Operations Research (4): Capstone Project: National Taiwan University
  • Understanding the Healthcare Innovation Process II: University of Illinois Urbana-Champaign
  • PySpark: Apply & Analyze Advanced Data Processing: EDUCBA
  • Entrepreneurial Competencies for Landscape Restoration: Erasmus University Rotterdam
  • Value and Individual Decision Making: Yunus Social Business Fund Bengaluru
  • Python: Logistic Regression & Supervised ML: EDUCBA
  • Auto Machine Learning (AutoML) Using AutoGluon : Coursera

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