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

    University of Colorado Boulder

    The Business, Politics, Policy, & Players of Space Programs

    Skills you'll gain: Global Positioning Systems, Political Sciences, Entrepreneurship, International Relations, Governance, Higher Education, Public Policies, Policy Analysis, Business, New Business Development, Budgeting, Innovation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    American Council on Exercise

    Goal Setting for Personal Trainers

    Skills you'll gain: Goal Setting, Health And Wellness Coaching, Smart Goals, Patient Education And Counseling, Workplace inclusivity, Motivational Interviewing, Patient Communication, Active Listening, Coaching, Ethical Standards And Conduct, Patient Evaluation, Exercise Science, Health Assessment, Behavior Management, Interpersonal Communications, Professionalism, Relationship Building

    4.3
    Rating, 4.3 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Decision Tree Classifier for Beginners in R

    Skills you'll gain: Model Evaluation, Decision Tree Learning, Data Preprocessing, Data Manipulation, Statistical Modeling, R Programming, Supervised Learning, Machine Learning, Classification Algorithms

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    The Foundation of Video Editing

    Skills you'll gain: Video Editing, Editing, Video Production, Cinematography, Storytelling

    4.1
    Rating, 4.1 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    A

    Alfaisal University | KLD

    نماذج إدارة العمليات | Operations Management Models

    Skills you'll gain: Six Sigma Methodology, Production Schedule, Quality Management, Operations Management, Production Management, Operational Efficiency, Process Improvement, Business Operations, Quality Control, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    37 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Understanding the Value of Human-Centered Design

    Skills you'll gain: Human Centered Design, User Experience Design, Stakeholder Engagement, Design Thinking, Creativity, Research and Design, Ideation, Stakeholder Analysis, Surveys, Data Collection, Storytelling, Design Strategies, Collaboration, Innovation, User Research, Presentations, Communication, Goal Setting

    4.3
    Rating, 4.3 out of 5 stars
    ·
    15 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Advanced JavaScript 2: Async JS, APIs, Operators, Objects

    Skills you'll gain: Ajax, JSON, Application Programming Interface (API), Javascript, Event-Driven Programming, Data Validation, Web Development, Object Oriented Programming (OOP), Debugging

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Future of AI in Sports and Practical Applications

    Skills you'll gain: AI Personalization, AI Enablement, Responsible AI, Artificial Intelligence, Robotics, Automation, Emerging Technologies, Augmented and Virtual Reality (AR/VR), Innovation, Advanced Analytics, Predictive Analytics, Law, Regulation, and Compliance, Ethical Standards And Conduct, Cognitive flexibility, Governance, Investment Management, Decision Making

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    H

    Howard University

    Capstone: Data Science Problem in Linear Algebra Framework

    Skills you'll gain: Data Wrangling, Regression Analysis, Dimensionality Reduction, Data Science, Python Programming, Data Preprocessing, Predictive Modeling, Data Analysis, Linear Algebra, Exploratory Data Analysis, Model Evaluation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    8 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Data Literacy Capstone – Evaluating Research

    Skills you'll gain: Peer Review, Data Literacy, Research, Quantitative Research, Report Writing, Analytical Skills, Data Analysis, Research Methodologies, Statistical Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    ISC2

    Information Technologies and Security in Healthcare Settings

    Skills you'll gain: Health Technology, Health Information Management, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Data Management, Health Care, Cloud Security, Personally Identifiable Information, Regulatory Compliance, Information Privacy, Information Management, Data Security, Interoperability, Electronic Medical Record, Records Management, Security Controls, Information Technology

    5
    Rating, 5 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    商务英语课程:财经英语 Finance & Economics

    Skills you'll gain: Purchasing, English Language, Business Communication, Business Writing, Auditing, Negotiation, Business Ethics, Verbal Communication Skills, Forecasting, Budgeting, Influencing, Financial Acumen, Literacy, Vocabulary

    4.8
    Rating, 4.8 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 3 Months

1…386387388…583

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

  • The Business, Politics, Policy, & Players of Space Programs: University of Colorado Boulder
  • Goal Setting for Personal Trainers: American Council on Exercise
  • Decision Tree Classifier for Beginners in R: Coursera
  • The Foundation of Video Editing: University of Colorado Boulder
  • نماذج إدارة العمليات | Operations Management Models: Alfaisal University | KLD
  • Understanding the Value of Human-Centered Design: University of Illinois Urbana-Champaign
  • Advanced JavaScript 2: Async JS, APIs, Operators, Objects: Scrimba
  • Future of AI in Sports and Practical Applications: Real Madrid Graduate School Universidad Europea
  • Capstone: Data Science Problem in Linear Algebra Framework: Howard University
  • Data Literacy Capstone – Evaluating Research: Johns Hopkins 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