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

    Yale University

    Health Behavior Change: From Evidence to Action

    Skills you'll gain: Health Promotion, Health Education, Health And Wellness Coaching, Nutrition and Diet, Public Health, Behavioral Health, Social Determinants Of Health, Community Health, Mental Health, Behavioral Economics, Physical Therapy, Goal Setting

    4.8
    Rating, 4.8 out of 5 stars
    ·
    484 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    GIS Data Formats, Design and Quality

    Skills you'll gain: Spatial Analysis, ArcGIS, Geographic Information Systems, Geospatial Mapping, Data Quality, Data Mapping, Data Modeling, Vector Databases, Data Management, Data Storage, Data Sharing, Data Manipulation, Relational Databases, Query Languages, Analytics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.1K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Leadership Development for Engineers

    Skills you'll gain: Conflict Management, Professional Networking, Smart Goals, Team Motivation, Creative Problem-Solving, Team Management, Team Performance Management, Prioritization, Stress Management, Meeting Facilitation, Relationship Management, Goal Setting, Time Management, Relationship Building, Leadership Development, Team Leadership, Self-Awareness, Communication, Professional Development, Mentorship

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Introducción a Lean Six Sigma

    Skills you'll gain: Lean Six Sigma, Six Sigma Methodology, Lean Methodologies, Statistical Process Controls, Quality Improvement, Process Improvement, Process Analysis, Continuous Improvement Process, Customer Analysis, Waste Minimization, Quality Management, Return On Investment, Process Mapping, Project Management, Cost Benefit Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    713 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universitat de Barcelona

    Claves para la innovación en la docencia universitaria

    Skills you'll gain: Digital pedagogy, Learning Strategies, Collaboration, Innovation, Problem Solving, Instructional Design, Creative Problem-Solving, Teamwork, Curiosity, Complex Problem Solving, digital literacy, Critical Thinking, Decision Making

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.7K reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    N

    New York Institute of Finance

    Reinforcement Learning for Trading Strategies

    Skills you'll gain: Reinforcement Learning, Recurrent Neural Networks (RNNs), Financial Trading, Deep Learning, Portfolio Management, Artificial Intelligence and Machine Learning (AI/ML), Artificial Neural Networks, Applied Machine Learning, Markov Model, Portfolio Risk, Financial Market, Time Series Analysis and Forecasting, Risk Management

    3.5
    Rating, 3.5 out of 5 stars
    ·
    246 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Foundational Finance for Strategic Decision Making

    Skills you'll gain: Financial Modeling, Market Data, Financial Analysis, Cash Flows, Loans, Financial Statements, Finance, Portfolio Risk, Risk Management, Portfolio Management, Business Valuation, Corporate Finance, Capital Budgeting, Securities (Finance), Mortgage Loans, Risk Analysis, Financial Forecasting, Excel Formulas, Equities, Investments

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Leverage Data Science for a More Agile Supply Chain

    Skills you'll gain: Supply Chain Planning, Demand Planning, Customer Demand Planning, Inventory Control, Inventory Management, Supply Chain Management, Supply Chain, Inventory Accounting, Capacity Planning, Production Planning, Materials Management, Inventory Management System, Process Optimization, Forecasting, Operations Management, Operations Research, Resource Allocation, Capacity Management, Microsoft Excel, Performance Measurement

    4.5
    Rating, 4.5 out of 5 stars
    ·
    539 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Analysing: Numeric and digital literacies

    Skills you'll gain: Governance, Management Accounting, Budgeting, Marketing Analytics, Capital Budgeting, Financial Modeling, Financial Data, SAS (Software), Business Analytics, Accounting, Financial Management, Customer Insights, Dashboard, Marketing Effectiveness, Corporate Finance, Digital Marketing, Business Valuation, Data-Driven Decision-Making, Financial Analysis, Data Visualization

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.2K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Integrative Health and Medicine

    Skills you'll gain: Drug Interaction, Contraindication, Patient Education And Counseling, Mindfulness, Patient Referral, Pharmacology, Treatment Planning, Health Care Procedure and Regulation, Pain Management, Patient Safety, Clinical Assessment, Health Care, Clinical Practices, Nursing Practices, Pharmacotherapy, Health Promotion, Health And Wellness Coaching, Mental and Behavioral Health, Patient-centered Care, Music

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.8K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of London

    Object Oriented Programming

    Skills you'll gain: Pseudocode, C++ (Programming Language), Object Oriented Programming (OOP), C and C++, File I/O, Object Oriented Design, Integrated Development Environments, Computer Programming, Development Environment, Programming Principles, Debugging, Data Structures, Program Development, Algorithms, Interactive Design, Data Modeling, Model Evaluation, Software Engineering, Test Data, Data Validation

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    246 reviews

    Intermediate · Specialization · 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

1…111112113…567

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

  • Health Behavior Change: From Evidence to Action: Yale University
  • GIS Data Formats, Design and Quality: University of California, Davis
  • Leadership Development for Engineers: Rice University
  • Introducción a Lean Six Sigma: Tecnológico de Monterrey
  • Claves para la innovación en la docencia universitaria: Universitat de Barcelona
  • Reinforcement Learning for Trading Strategies: New York Institute of Finance
  • Foundational Finance for Strategic Decision Making: University of Michigan
  • Leverage Data Science for a More Agile Supply Chain: University of California, Irvine
  • Analysing: Numeric and digital literacies: Macquarie University
  • Integrative Health and Medicine: University of Minnesota

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