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

    The University of Edinburgh

    Know Thyself - The Value and Limits of Self-Knowledge: The Examined Life

    Skills you'll gain: Self-Awareness, Personal Development, Psychology, Research, Empathy, Cultural Diversity, Mindfulness

    4.7
    Rating, 4.7 out of 5 stars
    ·
    813 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    Data Science Ethics

    Skills you'll gain: Data Ethics, Informed Consent, Information Privacy, Personally Identifiable Information, Data Security, Data Governance, Ethical Standards And Conduct, Big Data, Responsible AI, Intellectual Property, Data Analysis, Social Studies, Sampling (Statistics)

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Vibe Coding Essentials - Build Apps with AI

    Skills you'll gain: Model Context Protocol, Claude Code, Vibe coding, Microsoft Copilot, AI Workflows, Anthropic Claude, Tool Calling, GitHub, Context Management, Web Development, Real Time Data, Debugging, AI Security, Artificial Intelligence and Machine Learning (AI/ML), Servers, Prompt Engineering, Application Development, Video Game Development, Generative AI, Software Engineering

    4.5
    Rating, 4.5 out of 5 stars
    ·
    290 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    Go Beyond the Numbers: Translate Data into Insights

    Skills you'll gain: Data Storytelling, Exploratory Data Analysis, Data Visualization, Data Visualization Software, Data Transformation, Data Presentation, Data Ethics, Tableau Software, Data Analysis, Data Manipulation, Data Preprocessing, Data Cleansing, Pandas (Python Package), Data Validation, Python Programming

    4.7
    Rating, 4.7 out of 5 stars
    ·
    890 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Introduction to Mechanics

    Skills you'll gain: Mechanics, Torque (Physics), Physics, Problem Solving, Mechanical Engineering, Engineering Calculations, Calculus, Engineering Analysis, Graphing, Physical Science, Mathematical Modeling, Algebra, Applied Mathematics, Geometry, Trigonometry

    4.7
    Rating, 4.7 out of 5 stars
    ·
    296 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Meta

    Python Data Analytics

    Skills you'll gain: Pandas (Python Package), Data Analysis, Exploratory Data Analysis, Data Modeling, Data Manipulation, Jupyter, Matplotlib, Histogram, Scatter Plots, Data Visualization, Programming Principles, Data Cleansing, Data Visualization Software, Python Programming, Scripting

    4.3
    Rating, 4.3 out of 5 stars
    ·
    236 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    K

    Korea Advanced Institute of Science and Technology(KAIST)

    Differential Equations Part I Basic Theory

    Skills you'll gain: Differential Equations, Applied Mathematics, Mathematical Modeling, Calculus, Vibrations, Mechanics

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

    Beginner · Course · 1 - 3 Months

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

    Coursera

    Modern Data Analytics with Python, Excel & Generative AI

    Skills you'll gain: Business Intelligence, Excel Macros, Pandas (Python Package), Prompt Engineering, Forecasting, Data Storytelling, Time Series Analysis and Forecasting, Regression Analysis, Data Quality, Responsible AI, ChatGPT, Microsoft Excel, Data Analysis, Report Writing, Interactive Data Visualization, Data Modeling, Generative AI, Data Visualization, Exploratory Data Analysis, Statistical Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    429 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The University of North Carolina at Chapel Hill

    Psychology of Popularity

    Skills you'll gain: Human Development, Psychology, Social Sciences, Behavioral Health, Mental Health, Sociology, Child Development, Biology, Scientific Methods, Research

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Building AI Powered Chatbots Without Programming

    Skills you'll gain: AI Workflows, ChatGPT, No-Code Development, Model Deployment, Self Service Technologies, Application Deployment, IBM Cloud, Prompt Engineering, LLM Application, Generative AI, Customer Service, Context Management, Operational Efficiency, WordPress, Scalability, Data Persistence

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Database systems

    Skills you'll gain: NoSQL, Data Warehousing, Relational Databases, Database Management, Extract, Transform, Load, SQL, Databases, Data Mining, Business Intelligence, Big Data, Database Architecture and Administration, Information Systems, Database Systems, MySQL, Predictive Analytics, Database Design, MongoDB, Data Modeling, Scalability, Database Management Systems

    4.3
    Rating, 4.3 out of 5 stars
    ·
    694 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Survival Analysis in R for Public Health

    Skills you'll gain: Biostatistics, Statistical Analysis, R (Software), R Programming, Statistical Methods, Data Wrangling, Regression Analysis, Exploratory Data Analysis, Time Series Analysis and Forecasting, Logistic Regression, Probability & Statistics, Descriptive Statistics, Model Evaluation, Public Health

    4.5
    Rating, 4.5 out of 5 stars
    ·
    331 reviews

    Intermediate · Course · 1 - 4 Weeks

1…110111112…567

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

  • Know Thyself - The Value and Limits of Self-Knowledge: The Examined Life: The University of Edinburgh
  • Data Science Ethics: University of Michigan
  • Vibe Coding Essentials - Build Apps with AI: Scrimba
  • Go Beyond the Numbers: Translate Data into Insights: Google
  • Introduction to Mechanics: Rice University
  • Python Data Analytics: Meta
  • Differential Equations Part I Basic Theory: Korea Advanced Institute of Science and Technology(KAIST)
  • Modern Data Analytics with Python, Excel & Generative AI: Coursera
  • Psychology of Popularity: The University of North Carolina at Chapel Hill
  • Building AI Powered Chatbots Without Programming: IBM

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