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

    Data Analytics for Lean Six Sigma

    Skills you'll gain: Lean Six Sigma, Statistical Hypothesis Testing, Minitab, Regression Analysis, Data Visualization Software, Probability Distribution, Data Analysis, Histogram, Statistical Analysis, Box Plots, Process Improvement, Logistic Regression, Statistics, Variance Analysis

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

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Machine Learning for Absolute Beginners - Level 1

    Skills you'll gain: Generative AI, Responsible AI, Large Language Modeling, Data Ethics, Machine Learning, Applied Machine Learning, Artificial Intelligence, Supervised Learning, Predictive Modeling, Artificial Neural Networks, Unsupervised Learning, Deep Learning, Reinforcement Learning

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    A

    Alex Genadinik

    Create (Artificial Intelligence) AI VIDEOS WITH ZERO FILMING

    Skills you'll gain: AI Personalization, Video Production, Video Editing, Content Creation, Artificial Intelligence, Animations, Multimedia, TikTok, Natural Language Processing, Scripting

    Mixed · Course · 1 - 4 Weeks

  • U

    University of New Mexico

    Web Application Development: Basic Concepts

    Skills you'll gain: Web Applications, Full-Stack Web Development, Git (Version Control System), Middleware, Software Architecture, User Interface (UI), Agile Software Development, Application Frameworks, Ajax, Model View Controller, Databases, Relational Databases, Software Development, Ruby on Rails, Software Design Patterns, Cascading Style Sheets (CSS), Javascript

    4.3
    Rating, 4.3 out of 5 stars
    ·
    184 reviews

    Mixed · Course · 1 - 3 Months

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

    Coursera

    Calculate WACC: Capital Costs

    Skills you'll gain: Financial Analysis, Capital Expenditure, Return On Investment, Business Strategy, Data-Driven Decision-Making, Capital Budgeting, Financial Modeling, Financial Statements, Corporate Finance, Risk Analysis, Presentations

    Intermediate · Course · 1 - 4 Weeks

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

    Council on Foreign Relations

    Global Affairs Explained

    Skills you'll gain: International Relations, Diplomacy, World History, Political Sciences, International Finance, Public Policies, Policy Development, Policy Analysis, Public Health, Economic Development, Governance, Social Sciences, Immigration Law, Culture, Socioeconomics, Policty Analysis, Research, and Development, Economics, Negotiation, Decision Making, Strategic Thinking

    Beginner · Specialization · 3 - 6 Months

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

    Packt

    Advanced Backend Development, API Testing, and Deployment

    Skills you'll gain: API Testing, React.js, Containerization, Cloud Deployment, API Gateway, Software Documentation, Amazon Web Services, Cloud Applications, Front-End Web Development, Software Testing, Middleware, Test Automation, Technical Documentation

    Advanced · Course · 1 - 3 Months

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

    LearnQuest

    Sales Coaching and Team Enablement for the Digital Era

    Skills you'll gain: Sales Enablement, Personal Development, Empowerment, Employee Coaching, Coaching, Knowledge Transfer, Sales Management, Agile Methodology, Team Building, Self-Awareness, Sales Training, Collaboration, Diversity Awareness, Cultural Sensitivity, Virtual Teams, Resilience, Team Motivation, Sales, People Development, AI Enablement

    Beginner · Course · 1 - 4 Weeks

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

    Packt

    AI & LLM Engineering Mastery - GenAI, RAG Complete Guide

    Skills you'll gain: Retrieval-Augmented Generation, OpenAI API, AI Workflows, Generative Model Architectures, Model Deployment, Hugging Face, Programming Principles, Computer Programming, Transfer Learning, Application Deployment, Context Management, Embeddings, User Interface (UI), Model Evaluation, Vector Databases, Debugging, Software Installation

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    SAP

    SAP Technology Consultant

    Skills you'll gain: SAP S/4HANA, System Design and Implementation, Solution Sales Engineering, Relationship Building, ABAP RESTful Programming Model (RAP), Project Management, Test Script Development, Rapport Building, Project Implementation, Software As A Service, Enterprise Architecture, Enterprise Resource Planning, Consultative Approaches, Solution Architecture, Project Closure, Stakeholder Communications, Test Planning, Workforce Development, Requirements Analysis, Company, Product, and Service Knowledge

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

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft Generative AI Engineering

    Skills you'll gain: Generative AI, Generative Model Architectures, Prompt Engineering, Responsible AI, Generative Adversarial Networks (GANs), MLOps (Machine Learning Operations), AI Security, Multimodal Prompts, Data Ethics, AI Workflows, Microsoft Azure, ChatGPT, Azure DevOps Pipelines, AI Orchestration, Azure DevOps, Model Deployment, AI Enablement, PyTorch (Machine Learning Library), Artificial Intelligence and Machine Learning (AI/ML), Python Programming

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Managing Machine Learning Projects with Google Cloud

    Skills you'll gain: Data Ethics, Google Cloud Platform, Applied Machine Learning, Image Analysis, Responsible AI, Machine Learning, Model Evaluation, Data Strategy, Data Governance, AI Enablement, Innovation, Feasibility Studies, Business Analysis, Model Deployment

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

    Beginner · Course · 1 - 3 Months

1…929394…566

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

  • Data Analytics for Lean Six Sigma: University of Amsterdam
  • Machine Learning for Absolute Beginners - Level 1: Packt
  • Create (Artificial Intelligence) AI VIDEOS WITH ZERO FILMING: Alex Genadinik
  • Web Application Development: Basic Concepts: University of New Mexico
  • Calculate WACC: Capital Costs: Coursera
  • Global Affairs Explained: Council on Foreign Relations
  • Advanced Backend Development, API Testing, and Deployment: Packt
  • Sales Coaching and Team Enablement for the Digital Era: LearnQuest
  • AI & LLM Engineering Mastery - GenAI, RAG Complete Guide: Packt
  • SAP Technology Consultant: SAP

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