• 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
    Status: Preview
    Preview
    C

    Coursera

    Databricks Machine Learning Fundamentals

    Skills you'll gain: Model Deployment, Databricks, MLOps (Machine Learning Operations), Apache Spark, Applied Machine Learning, PySpark, Data Preprocessing, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Scikit Learn (Machine Learning Library), Feature Engineering, Application Deployment, Model Evaluation, Real Time Data, Exploratory Data Analysis, Engineering

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Secure AI: API and Dependency Risks

    Skills you'll gain: AI Security, Open Web Application Security Project (OWASP), Vulnerability Assessments, Vulnerability Management, Application Security, Security Controls, Security Testing, Authentications, Threat Management, Dependency Analysis, Application Programming Interface (API), API Design, Risk Analysis, Data Validation, Supply Chain

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rutgers the State University of New Jersey

    Supply Chain Logistics

    Skills you'll gain: Warehouse Management, Inventory and Warehousing, Inventory Management System, Transportation, Supply Chain, and Logistics, Logistics, Transportation Operations, Supply Chain Management, Supply Chain, Customer Service, Operating Cost

    4.7
    Rating, 4.7 out of 5 stars
    ·
    12K reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    Tableau Learning Partner

    Business Analysis Process

    Skills you'll gain: Requirements Elicitation, Business Analysis, Business Metrics, Stakeholder Analysis, Key Performance Indicators (KPIs), Business Requirements, Stakeholder Management, User Requirements Documents, Business Process, Business Process Modeling, Data Visualization, Solution Delivery

    4.6
    Rating, 4.6 out of 5 stars
    ·
    139 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Framework for Data Collection and Analysis

    Skills you'll gain: Data Collection, Survey Creation, Research Design, Data Quality, Data Analysis, Data Validation, Sampling (Statistics), Data Management, Big Data, Statistical Methods

    4.2
    Rating, 4.2 out of 5 stars
    ·
    773 reviews

    Intermediate · Course · 1 - 4 Weeks

  • D

    Duke University

    Bayesian Statistics

    Skills you'll gain: Bayesian Statistics, Statistical Modeling, Statistical Methods, Statistical Inference, Statistical Analysis, Regression Analysis, Data Analysis, R Programming, Probability, Data-Driven Decision-Making, Model Evaluation, Probability Distribution

    3.8
    Rating, 3.8 out of 5 stars
    ·
    798 reviews

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    Master & Apply Advanced SAS Programming Techniques

    Skills you'll gain: Sampling (Statistics), SAS (Software), Data Integration, Statistical Programming, Statistical Methods, Data Manipulation, Data Processing, Data Management, SQL, Data Transformation, Data Governance, Transaction Processing, Version Control, Data Structures, File Management

    Intermediate · Course · 1 - 3 Months

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

    Packt

    Advanced Structure Creation, Water Systems, and Landscaping

    Skills you'll gain: Unreal Engine, 3D Assets, Virtual Environment, 3D Modeling, Computer Graphics, Architectural Design, Visualization (Computer Graphics), Building Design, Performance Tuning

    Advanced · Course · 1 - 3 Months

  • Status: Preview
    Preview
    Y

    Yale University

    The Science of Well-Being for Teens

    Skills you'll gain: Positivity, Mental Health, Goal Setting, Growth Mindedness, Stress Management, Resilience, Self-Awareness, Behavioral Health, Psychology, Mindfulness, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    803 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    M

    Microsoft

    Microsoft Business Analyst

    Skills you'll gain: Microsoft Power Platform, Excel Formulas, Process Flow Diagrams, Business Process Modeling, User Story, Business Requirements, Stakeholder Management, Data Modeling, Microsoft Excel, Software Development Life Cycle, Requirements Analysis, Requirements Elicitation, Quality Management, Diagram Design, Pivot Tables And Charts, Microsoft Visio, Power BI, Microsoft Power Automate/Flow, Business Analysis, Data Analysis

    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
    C

    Coursera

    AI Security: Security in the Age of Artificial Intelligence

    Skills you'll gain: Threat Modeling, Data Loss Prevention, Mobile Security, DevSecOps, MLOps (Machine Learning Operations), Vulnerability Scanning, LLM Application, Incident Response, Security Engineering, Anomaly Detection, Application Security, Responsible AI, Security Controls, Data Security, CI/CD, Infrastructure Security, Continuous Monitoring, Penetration Testing, Process Optimization, Vulnerability Assessments

    Intermediate · Specialization · 3 - 6 Months

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

    Edureka

    Introduction to LLMs and Hugging Face

    Skills you'll gain: Hugging Face, LLM Application, LangChain, Large Language Modeling, OpenAI, Natural Language Processing, Generative AI Agents, ChatGPT, Responsible AI, Embeddings, Application Programming Interface (API), Text Mining, Restful API, Agentic systems, Open Source Technology, Data Preprocessing, MLOps (Machine Learning Operations), Python Programming, Model Evaluation

    Beginner · Course · 1 - 4 Weeks

1…606162…566

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

  • Databricks Machine Learning Fundamentals: Coursera
  • Secure AI: API and Dependency Risks: Coursera
  • Supply Chain Logistics: Rutgers the State University of New Jersey
  • Business Analysis Process: Tableau Learning Partner
  • Framework for Data Collection and Analysis: University of Maryland, College Park
  • Bayesian Statistics: Duke University
  • Master & Apply Advanced SAS Programming Techniques: EDUCBA
  • Advanced Structure Creation, Water Systems, and Landscaping: Packt
  • The Science of Well-Being for Teens: Yale University
  • Microsoft Business Analyst: Microsoft

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