• 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: Free
    Free
    C

    Coursera

    How To Visualize Your Data Using Microsoft Powerpoint

    Skills you'll gain: Presentations, Microsoft PowerPoint, Data Visualization, Data Storytelling, Video Editing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    302 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    A

    American Museum of Natural History

    The Dynamic Earth: A Course for Educators

    Skills you'll gain: Physical Science, Environment, Hazard Analysis, Spatial Data Analysis, Geographic Information Systems, General Science and Research, Environmental Science, Scientific Methods

    4.7
    Rating, 4.7 out of 5 stars
    ·
    230 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Business & Technology

    Skills you'll gain: Responsible AI, Culture Transformation, Innovation, Organizational Change, Design Thinking, Business Transformation, Strategic Leadership, Product Lifecycle Management, Global Marketing, Entrepreneurship, Business Communication, Artificial Intelligence, Change Management, Organizational Leadership, Business Modeling, Generative AI, AI Product Strategy, Machine Learning, Business Strategy, Strategic Planning

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    105 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Data Analysis and Visualization with Python

    Skills you'll gain: Generative AI, Matplotlib, Plotly, Data Ethics, Data Visualization, Data Cleansing, Data Manipulation, Exploratory Data Analysis, Pandas (Python Package), Data Transformation, Interactive Data Visualization, Data Visualization Software, Data Storytelling, Data Analysis, Scikit Learn (Machine Learning Library), Jupyter, Python Programming, Machine Learning, Model Evaluation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    101 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Razonamiento artificial

    Skills you'll gain: Bayesian Network, Computational Logic, Markov Model, Artificial Intelligence, Game Theory, Theoretical Computer Science, Logical Reasoning, Python Programming, Deductive Reasoning, Reinforcement Learning, Probability, Verification And Validation, Decision Tree Learning, Algorithms, Probability Distribution

    4.1
    Rating, 4.1 out of 5 stars
    ·
    113 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    MathWorks

    Machine Learning for Computer Vision

    Skills you'll gain: Computer Vision, Model Evaluation, Image Analysis, Matlab, Machine Learning Methods, Data Preprocessing, Machine Learning, Classification Algorithms, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Deep Learning, Data Validation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    23 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Developing Explainable AI (XAI)

    Skills you'll gain: Responsible AI, Data Ethics, AI Security, Generative AI, Artificial Intelligence, AI Product Strategy, Machine Learning, Machine Learning Methods, Model Evaluation, Data Literacy, Artificial Neural Networks, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    54 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Vector Databases for RAG: An Introduction

    Skills you'll gain: Retrieval-Augmented Generation, Embeddings, Database Systems, LLM Application, Databases, Data Storage Technologies, NoSQL, AI Enablement, Large Language Modeling, Database Management, AI Personalization, Generative AI Agents, Database Architecture and Administration, Applied Machine Learning, Information Management, Generative AI

    4.6
    Rating, 4.6 out of 5 stars
    ·
    70 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    Tsinghua University

    Just Reading and Writing English 1

    Skills you'll gain: Intercultural Competence, Cultural Diversity, Mental Health, Learning Strategies, Emotional Intelligence, English Language, Empathy, Communication Strategies, Grammar, Higher Education, Vocabulary

    4.5
    Rating, 4.5 out of 5 stars
    ·
    122 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    K

    Kennesaw State University

    AI for Education (Intermediate)

    Skills you'll gain: Prompt Engineering, Responsible AI, Generative AI, Education Software and Technology, ChatGPT, Peer Review, Verbal Communication Skills, AI Enablement, Digital pedagogy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    20 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    Technion - Israel Institute of Technology

    Action-Driven Business Plan: From the ‘Classroom’ to the World

    Skills you'll gain: Business Planning, Entrepreneurship, Market Research, Business Strategy, Market Analysis, Financial Modeling, New Product Development, Business Development, Video Production, Project Planning, Presentations, Innovation, Risk Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    338 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Meta

    Database Clients

    Skills you'll gain: MySQL, Django (Web Framework), Database Management, Database Application, SQL, Databases, Python Programming, Application Programming Interface (API), Data Management

    4.4
    Rating, 4.4 out of 5 stars
    ·
    96 reviews

    Intermediate · Course · 1 - 4 Weeks

1…250251252…578

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

  • How To Visualize Your Data Using Microsoft Powerpoint: Coursera
  • The Dynamic Earth: A Course for Educators: American Museum of Natural History
  • Business & Technology: Illinois Tech
  • Data Analysis and Visualization with Python: Microsoft
  • Razonamiento artificial: Universidad Nacional Autónoma de México
  • Machine Learning for Computer Vision: MathWorks
  • Developing Explainable AI (XAI): Duke University
  • Vector Databases for RAG: An Introduction: IBM
  • Just Reading and Writing English 1: Tsinghua University
  • AI for Education (Intermediate): Kennesaw State University

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