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

    The Chinese University of Hong Kong

    Advanced Modeling for Discrete Optimization

    Skills you'll gain: Debugging, Mathematical Modeling, Advanced Mathematics, Operations Research, Computational Logic, Data Structures

    4.9
    Rating, 4.9 out of 5 stars
    ·
    139 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Cybersecurity and the X-Factor

    Skills you'll gain: Cyber Threat Intelligence, Human Factors (Security), Threat Management, Security Awareness, Cybersecurity, Computer Security Awareness Training, Cyber Risk, Cyber Attacks, Security Strategy, Employee Training, Behavior Management, Insurance

    4.7
    Rating, 4.7 out of 5 stars
    ·
    260 reviews

    Beginner · Course · 1 - 4 Weeks

  • G

    Genentech

    Data Science with Real World Data in Pharma

    Skills you'll gain: Drug Development, Clinical Research, Clinical Trials, Statistical Analysis, Predictive Modeling, R Programming, Data Analysis, Statistical Methods, Health Policy, Data Science, Epidemiology, Healthcare Industry Knowledge, Data Quality, Electronic Medical Record

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Java Servlet Pages (JSPs)

    Skills you'll gain: Java Platform Enterprise Edition (J2EE), Scripting, Java, Server Side, Hypertext Markup Language (HTML), Web Applications, Model View Controller

    4.7
    Rating, 4.7 out of 5 stars
    ·
    94 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Mathematics for Engineers: The Capstone Course

    Skills you'll gain: Matlab, Engineering Analysis, Finite Element Methods, Mathematical Software, Mechanical Engineering, Numerical Analysis, Mathematical Modeling, Applied Mathematics, Advanced Mathematics, Simulation and Simulation Software, Differential Equations, Calculus

    5
    Rating, 5 out of 5 stars
    ·
    41 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Coursera

    Data Science Challenge

    Skills you'll gain: Applied Machine Learning, Jupyter, Machine Learning Algorithms, Model Evaluation, Machine Learning, Predictive Modeling, Data Science, Python Programming, Predictive Analytics, Data Analysis, Technical Communication

    4.7
    Rating, 4.7 out of 5 stars
    ·
    204 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    P

    Pontificia Universidad Católica de Chile

    Introducción a la Ingeniería Gastronómica - ¡Ciencia en la Cocina!

    Skills you'll gain: Food and Beverage, Meal Planning And Preparation, Process Engineering, Experimentation, Chemical Engineering, Engineering, Materials science, Environment, Systems Of Measurement, Water Quality, Thermal Management, Biochemistry, Chemistry, Scientific Methods, Laboratory Equipment

    4.6
    Rating, 4.6 out of 5 stars
    ·
    85 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    The University of Melbourne

    Essentials of Corporate Finance Capstone

    Skills you'll gain: Financial Analysis, Financial Statement Analysis, Financial Modeling, Financial Management, Financial Data, Investment Management, Strategic Decision-Making, Corporate Finance, Market Data, Risk Analysis, Business Valuation, Capital Markets

    4.8
    Rating, 4.8 out of 5 stars
    ·
    138 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    The Roles and Responsibilities of Nonprofit Boards of Directors within the Governance Process

    Skills you'll gain: Governance, Peer Review, Performance Measurement, Organizational Strategy, Strategic Leadership, Organizational Effectiveness, Performance Analysis, Resource Management, Fundraising, Case Studies, Leadership, Team Leadership, Risk Management, Due Diligence

    4.5
    Rating, 4.5 out of 5 stars
    ·
    77 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Social Computing

    Skills you'll gain: Social Network Analysis, Network Analysis, Responsible AI, Graph Theory, Machine Learning, Applied Machine Learning, Research, Model Evaluation, Social Sciences, Statistical Analysis, Amazon Web Services, R Programming, Tensorflow, Data Ethics, Artificial Intelligence and Machine Learning (AI/ML), Research Design, Sociology, Driving engagement, Machine Learning Methods, Behavioral Economics

    4.3
    Rating, 4.3 out of 5 stars
    ·
    12 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    N

    Northeastern University

    Information Systems Foundations

    Skills you'll gain: Systems Thinking, Software Visualization, Object Oriented Design, Software Engineering, Object Oriented Programming (OOP), Application Design, Web Applications, Software Development Life Cycle, Case Studies, Data Modeling, Systems Development, Software Development, Business Architecture, Business Risk Management, Python Programming, User Centered Design, Software Design, Application Development, Computer Programming, Development Environment

    2.6
    Rating, 2.6 out of 5 stars
    ·
    16 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Renewable Energy Projects

    Skills you'll gain: Feasibility Studies, Plant Operations and Management, Project Finance, Project Implementation, Financial Analysis, Project Management Life Cycle, Construction Management, Project Management, Sustainable Technologies, Technology Roadmaps, Forecasting, Stakeholder Engagement

    4.8
    Rating, 4.8 out of 5 stars
    ·
    183 reviews

    Beginner · Course · 1 - 3 Months

1…224225226…578

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

  • Advanced Modeling for Discrete Optimization: The Chinese University of Hong Kong
  • Cybersecurity and the X-Factor: Kennesaw State University
  • Data Science with Real World Data in Pharma: Genentech
  • Java Servlet Pages (JSPs): LearnQuest
  • Mathematics for Engineers: The Capstone Course: The Hong Kong University of Science and Technology
  • Data Science Challenge: Coursera
  • Introducción a la Ingeniería Gastronómica - ¡Ciencia en la Cocina!: Pontificia Universidad Católica de Chile
  • Essentials of Corporate Finance Capstone: The University of Melbourne
  • The Roles and Responsibilities of Nonprofit Boards of Directors within the Governance Process: University at Buffalo
  • Social Computing: 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