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

    Universidad Nacional de Colombia

    Más que química

    Skills you'll gain: Chemistry, Systems Of Measurement, Chemical Engineering, Physical Science, Analytical Chemistry, Applied Mathematics, Materials science, Scientific Methods

    4.9
    Rating, 4.9 out of 5 stars
    ·
    76 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Mind of the Universe: Science in Progress

    Skills you'll gain: Creative Thinking, Research, Research Methodologies, Scientific Methods, Critical Thinking, Innovation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Regression and Classification

    Skills you'll gain: Statistical Modeling, Statistical Machine Learning, Data Science, Statistical Methods, Statistical Analysis, Model Evaluation, Regression Analysis, Predictive Modeling, R Programming, Machine Learning, Classification Algorithms, Supervised Learning, Unsupervised Learning, Machine Learning Algorithms

    Build toward a degree

    3.9
    Rating, 3.9 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 3 Months

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

    Google

    Implement the Scrum Framework

    Skills you'll gain: Backlogs, User Story, Sprint Planning, Project Estimation, Agile Methodology, Agile Product Development, Sprint Retrospectives, Agile Project Management, Estimation, Acceptance Testing, Prioritization, Team Management, Cross-Functional Collaboration

    4.7
    Rating, 4.7 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidad de los Andes

    Introducción a UML

    Skills you'll gain: Unified Modeling Language, Software Visualization, Diagram Design, Software Design, Object Oriented Design, Software Engineering, Requirements Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    154 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Data Visualization and Transformation with R

    Skills you'll gain: Exploratory Data Analysis, Ggplot2, Data Visualization Software, Tidyverse (R Package), Data Visualization, Version Control, Data Analysis, Statistical Methods, Data Wrangling, R Programming, GitHub, Data Transformation, Statistical Analysis, Git (Version Control System), Data Manipulation, Statistical Programming

    4.8
    Rating, 4.8 out of 5 stars
    ·
    21 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Introduction to Accessible Web Development

    Skills you'll gain: Web Content Accessibility Guidelines, User Interface (UI), Usability, Web Design, Hypertext Markup Language (HTML), Front-End Web Development, UI Components, Semantic Web, Cascading Style Sheets (CSS), Javascript

    4.7
    Rating, 4.7 out of 5 stars
    ·
    36 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Program Design & Evaluation for Health Systems Strengthening

    Skills you'll gain: Health Policy, Health Systems, Public Health, Health Information Management, Research Design, Systems Analysis, Scalability, Technical Communication, Data Quality

    4.7
    Rating, 4.7 out of 5 stars
    ·
    38 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Amazon Web Services

    Amazon Bedrock Customization, Optimization & Automation

    Skills you'll gain: Amazon Bedrock, LangChain, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), Applied Machine Learning, Prompt Engineering, Transfer Learning, AI Workflows, Model Evaluation, Data Processing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    The State University of New York

    Decentralized Finance (DeFi) for Everyone

    Skills you'll gain: Digital Assets, Blockchain, Market Liquidity, FinTech, Financial Market, Cryptography, Cryptographic Protocols, Financial Systems, Payment Systems, Distributed Computing, Governance, Identity and Access Management, Financial Trading, Banking Services, Financial Regulation, Asset Management, Web Applications, Transaction Processing, Financial Services, System Programming

    4
    Rating, 4 out of 5 stars
    ·
    12 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    The Business of Cybersecurity Capstone

    Skills you'll gain: Security Management, Incident Response, Risk Management, Cyber Security Policies, Cyber Governance, Business Risk Management, Enterprise Risk Management (ERM), Cyber Security Strategy, Information Management, Business Ethics, Performance Measurement, Compliance Management, Governance, Business Planning, Organizational Strategy

    4.8
    Rating, 4.8 out of 5 stars
    ·
    52 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Classification Trees in Python, From Start To Finish

    Skills you'll gain: Decision Tree Learning, Data Preprocessing, Data Transformation, Supervised Learning, Feature Engineering, Scikit Learn (Machine Learning Library), Classification Algorithms, Model Evaluation, Pandas (Python Package)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    233 reviews

    Intermediate · Guided Project · Less Than 2 Hours

1…301302303…581

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

  • Más que química: Universidad Nacional de Colombia
  • Mind of the Universe: Science in Progress: Erasmus University Rotterdam
  • Regression and Classification: University of Colorado Boulder
  • Implement the Scrum Framework: Google
  • Introducción a UML: Universidad de los Andes
  • Data Visualization and Transformation with R: Duke University
  • Introduction to Accessible Web Development: Coursera
  • Program Design & Evaluation for Health Systems Strengthening: Johns Hopkins University
  • Amazon Bedrock Customization, Optimization & Automation: Amazon Web Services
  • Decentralized Finance (DeFi) for Everyone: The State University of New York

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