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

    Intel

    An Introduction to Practical Deep Learning

    Skills you'll gain: Deep Learning, Convolutional Neural Networks, Artificial Neural Networks, Transfer Learning, Recurrent Neural Networks (RNNs), Generative Adversarial Networks (GANs), Computer Vision, Machine Learning Methods, Natural Language Processing, Scalability, Reinforcement Learning, Performance Tuning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    150 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Artificial Intelligence Algorithms Models and Limitations

    Skills you'll gain: Model Evaluation, Predictive Modeling, Data Ethics, Algorithms, Machine Learning, Predictive Analytics, Responsible AI, Artificial Intelligence, Machine Learning Algorithms, AI Enablement, Artificial Intelligence and Machine Learning (AI/ML), Ethical Standards And Conduct, Generative AI, Economics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    526 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    Northwestern University

    Organizational Leadership Capstone

    Skills you'll gain: Data-Driven Decision-Making, Strategic Communication, Collaboration, Crisis Management, Team Leadership, Organizational Leadership, Business Leadership, Culture Transformation, Strategic Decision-Making, Strategic Leadership, Customer experience strategy (CX), Case Studies, Human Centered Design, Innovation, Decision Making, Peer Review

    4.7
    Rating, 4.7 out of 5 stars
    ·
    111 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    I

    Illinois Tech

    Industrial Psychology

    Skills you'll gain: Industrial and Organizational Psychology, Job Analysis, Talent Management, Team Building, Leadership, Human Resources, Human Resources Management and Planning, Diversity and Inclusion, Occupational Safety And Health, Employee Performance Management, Organizational Development, Employee Engagement, Stress First Aid, Performance Management, Research, Social Justice, Scientific Methods, Employee Training, Psychological Evaluations, Cultural Diversity

    4.9
    Rating, 4.9 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 3 Months

  • 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: Preview
    Preview
    T

    The Chinese University of Hong Kong

    Religion and Thought in Modern China: the Song, Jin, and Yuan

    Skills you'll gain: Art History, Ancient History, World History, Cultural Diversity, Anthropology, Sociology, Policy Analysis, Political Sciences, Economics, Governance

    4.5
    Rating, 4.5 out of 5 stars
    ·
    48 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    أسس القيادة اليومية

    Skills you'll gain: Organizational Leadership, Team Leadership, Leadership, Leadership and Management, Motivational Skills, Decision Making, Organizational Effectiveness, Teamwork, Strategic Decision-Making, Drive Engagement, Diversity and Inclusion

    4.9
    Rating, 4.9 out of 5 stars
    ·
    128 reviews

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    G

    Google

    Google Data-Driven Decision Making

    Skills you'll gain: Data Visualization, Data Ethics, Data Integrity, Data Literacy, Data Analysis, Tableau Software, Stakeholder Communications, Responsible AI, Small Data, Decision Making, Stakeholder Analysis, Sampling (Statistics), Key Performance Indicators (KPIs), Probability & Statistics, Big Data, Data Sharing, Spreadsheet Software, Verbal Communication Skills, Solution Design, Root Cause Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    43 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Mathematical Foundations for Cryptography

    Skills you'll gain: Cryptography, Arithmetic, Algorithms, Applied Mathematics, Probability, Computer Science

    4.6
    Rating, 4.6 out of 5 stars
    ·
    334 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Career Planning: A Pathway to Employment

    Skills you'll gain: LinkedIn, Interviewing Skills, Social Media, Social Media Strategy, Professional Networking, Strategic Communication, Communication, Negotiation, Professionalism, Business Writing, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    197 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    American Psychological Association

    Depressive and Bipolar Disorders

    Skills you'll gain: Mental Health Diseases and Disorders, Psychiatry, Clinical Psychology, Mental Health, Cognitive Behavioral Therapy, Mental and Behavioral Health, Psychotherapy, Psychiatric Assessments, Cultural Diversity, Psychology, Pharmacotherapy, Pharmacology, Demography

    4.8
    Rating, 4.8 out of 5 stars
    ·
    71 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Python: A Guided Journey from Introduction to Application

    Skills you'll gain: Supervised Learning, Unsupervised Learning, Matplotlib, File I/O, Generative Adversarial Networks (GANs), NumPy, Object Oriented Programming (OOP), Deep Learning, Image Analysis, Plot (Graphics), Machine Learning Algorithms, Object Oriented Design, Applied Machine Learning, Integrated Development Environments, Pandas (Python Package), Python Programming, Machine Learning, Event-Driven Programming, Programming Principles, Computer Programming

    4
    Rating, 4 out of 5 stars
    ·
    74 reviews

    Beginner · Specialization · 3 - 6 Months

1…208209210…574

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

  • An Introduction to Practical Deep Learning: Intel
  • Artificial Intelligence Algorithms Models and Limitations: LearnQuest
  • Organizational Leadership Capstone: Northwestern University
  • Industrial Psychology: Illinois Tech
  • Developing Explainable AI (XAI): Duke University
  • Religion and Thought in Modern China: the Song, Jin, and Yuan: The Chinese University of Hong Kong
  • أسس القيادة اليومية: University of Illinois Urbana-Champaign
  • Google Data-Driven Decision Making: Google
  • Mathematical Foundations for Cryptography: University of Colorado System
  • Career Planning: A Pathway to Employment: 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