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

    Kennesaw State University

    AI for Everyday Life

    Skills you'll gain: Prompt Engineering, Generative AI, ChatGPT, Responsible AI, Gemini, Claude Code, Artificial Intelligence, Communication, Social Skills, Predictive Modeling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    120 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SAP

    SAP Customer Engagement and Discovery

    Skills you'll gain: Stakeholder Engagement, Solution Sales Engineering, Customer Engagement, Consultative Approaches, Stakeholder Communications, Product Roadmaps, Requirements Elicitation, SAP Applications, Technical Consulting, Customer Insights, Process Analysis, Business Analysis, Project Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    123 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft Azure Machine Learning for Data Scientists

    Skills you'll gain: Responsible AI, Microsoft Azure, Unsupervised Learning, Databricks, MLOps (Machine Learning Operations), Applied Machine Learning, Classification Algorithms, Regression Analysis, Scikit Learn (Machine Learning Library), Predictive Modeling, Model Deployment, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Supervised Learning, Virtual Machines, Data Pipelines

    4.3
    Rating, 4.3 out of 5 stars
    ·
    177 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Lausanne

    Unethical Decision Making in Organizations

    Skills you'll gain: Business Ethics, Decision Making, Organizational Leadership, Strategic Decision-Making, Social Sciences, Organizational Strategy, Business Management, Sociology, Psychology, Case Studies, Leadership, Mindfulness

    4.8
    Rating, 4.8 out of 5 stars
    ·
    428 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Introduction to Generative AI

    Skills you'll gain: Prompt Engineering, Generative AI, Retrieval-Augmented Generation, Generative Model Architectures, ChatGPT, OpenAI, Multimodal Prompts, Large Language Modeling, OpenAI API, Hugging Face, Responsible AI, GitHub, Python Programming, Machine Learning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    199 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    ChatGPT + Excel: Master Data, Make Decisions, Tell Stories

    Skills you'll gain: Data Storytelling, Data Presentation, Data Synthesis, Microsoft Excel, Infographics, Data Visualization, Data Analysis, Data Cleansing, ChatGPT, Data Integration, Data Transformation, Data Validation, Exploratory Data Analysis, Prompt Engineering, LLM Application, Data Quality, Generative AI

    4.8
    Rating, 4.8 out of 5 stars
    ·
    149 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Introduction to Programming in Swift 5

    Skills you'll gain: Model View Controller, Swift Programming, iOS Development, Apple iOS, Data Structures, Object Oriented Programming (OOP), Mobile Development, Apple Xcode, Computer Programming

    4.3
    Rating, 4.3 out of 5 stars
    ·
    733 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Neuroscience of Leadership: Leading with Your Brain

    Skills you'll gain: Organizational Leadership, Team Motivation, Diversity and Inclusion, Innovation, Team Leadership, Initiative and Leadership, Personal Development, Leadership, Resilience, Team Management, Team Performance Management, Industrial and Organizational Psychology, Business Leadership, Leadership and Management, Decision Making, Self-Awareness, Coaching, Change Management, Psychology, Storytelling

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    157 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    Universitat Autònoma de Barcelona

    Gestión de la comunicación interna en las organizaciones

    Skills you'll gain: Internal Communications, Communication Planning, Crisis Management, Corporate Communications, Strategic Communication, Cultural Sensitivity, Communication Strategies, Telecommuting, Branding, Business Ethics, Brand Management, Employee Engagement, Virtual Teams

    4.9
    Rating, 4.9 out of 5 stars
    ·
    582 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    I

    IE Business School

    Foundations of Strategy

    Skills you'll gain: Competitive Analysis, Business Strategy, Economics, Market Dynamics, Business Economics, Strategic Thinking, Market Analysis, Strategic Planning, Corporate Strategy, Resource Management, Business Process

    4.8
    Rating, 4.8 out of 5 stars
    ·
    206 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Converter Control

    Skills you'll gain: Control Systems, Power Electronics, Systems Analysis, Electronics Engineering, Technical Design, Systems Design, Graphical Tools, Plot (Graphics), Engineering Analysis, Performance Testing, Mathematical Modeling

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    650 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Clinical Data Science

    Skills you'll gain: Tidyverse (R Package), Clinical Data Management, Extract, Transform, Load, Data Modeling, Clinical Research, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Medical Privacy, Data Manipulation, Predictive Modeling, Database Design, Google Cloud Platform, Intensive Care Unit, Data Ethics, Data Quality, Natural Language Processing, Bioinformatics, Informatics, Text Mining, Clinical Informatics, R Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    488 reviews

    Intermediate · Specialization · 3 - 6 Months

1…193194195…573

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

  • AI for Everyday Life: Kennesaw State University
  • SAP Customer Engagement and Discovery: SAP
  • Microsoft Azure Machine Learning for Data Scientists: Microsoft
  • Unethical Decision Making in Organizations: University of Lausanne
  • Introduction to Generative AI: Duke University
  • ChatGPT + Excel: Master Data, Make Decisions, Tell Stories: Vanderbilt University
  • Introduction to Programming in Swift 5: LearnQuest
  • Neuroscience of Leadership: Leading with Your Brain: University of Colorado Boulder
  • Gestión de la comunicación interna en las organizaciones: Universitat Autònoma de Barcelona
  • Foundations of Strategy: IE Business School

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