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

    Johns Hopkins University

    Transportation, Sustainable Buildings, Green Construction

    Skills you'll gain: Architectural Design, Sustainable Development, Building Codes, Community Development, Land Development, Public Works, Sustainable Architecture, Building Design, Sustainable Design, Sustainable Technologies, Sustainable Engineering, Construction, Climate Change Mitigation, Traffic Flow Optimization, Environmental Policy, Environmental Engineering, Policy Analysis, Case Studies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    231 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Scrum Master Certification: Scaling Agile and the Team-of-Teams

    Skills you'll gain: Scaled Agile Framework, Agile Software Development, Agile Methodology, Behavior-Driven Development, Test Driven Development (TDD), Agile Project Management, Sprint Planning, Test Automation, Virtualization, Continuous Integration, Solution Architecture, Computer Hardware

    4.5
    Rating, 4.5 out of 5 stars
    ·
    483 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    商务基础 (中文版)

    Skills you'll gain: Financial Statements, Financial Statement Analysis, Operations Management, Return On Investment, Financial Accounting, Financial Reporting, Process Analysis, Income Statement, Operational Efficiency, Business Operations, Capital Budgeting, Marketing, Cash Flows, Finance, Financial Acumen, Production Management, Strategic Marketing, Marketing Strategies, Financial Modeling, Business Strategy

    4.8
    Rating, 4.8 out of 5 stars
    ·
    341 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Quantum Mechanics

    Skills you'll gain: Quantitative Research, Engineering Calculations, Mechanical Engineering, Numerical Analysis, Chemistry, Physics, Simulation and Simulation Software, Mathematical Modeling, Differential Equations

    4.5
    Rating, 4.5 out of 5 stars
    ·
    744 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Data Structures & Backend with Java

    Skills you'll gain: Data Structures, Spring Boot, Restful API, Model View Controller, Spring Framework, Java Programming, Java, Authentications, Authorization (Computing), Microservices, Algorithms, Object Oriented Programming (OOP), Dependency Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    150 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Introduction to the Nonprofit Sector, Nonprofit Organizations, Nonprofit Leadership and Governance

    Skills you'll gain: Peer Review, Governance, Leadership and Management, Discussion Facilitation, Philanthropy, Public Administration, Organizational Effectiveness, Performance Review, Organizational Leadership, Community Development, Organizational Structure, Leadership, Case Studies, Analysis, Decision Making

    4.4
    Rating, 4.4 out of 5 stars
    ·
    214 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Algebra: Elementary to Advanced - Polynomials and Roots

    Skills you'll gain: Algebra, Advanced Mathematics, General Mathematics, Applied Mathematics, Analytical Skills, Mathematical Modeling, Geometry, Graphing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    169 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Start Your API Testing Journey With Postman Tool

    Skills you'll gain: Postman API Platform, API Testing, JSON, Application Programming Interface (API), Test Script Development, Software Testing, Restful API, Test Case, Functional Testing

    4.4
    Rating, 4.4 out of 5 stars
    ·
    315 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    University at Buffalo

    Computer Vision Basics

    Skills you'll gain: Computer Vision, Image Analysis, Computer Graphics, Color Theory, Digital Signal Processing, Applied Mathematics, Artificial Intelligence, Computer Programming, Matlab, Augmented Reality, Algorithms, Calculus, Probability & Statistics

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Databricks

    Introduction to Computational Statistics for Data Scientists

    Skills you'll gain: Bayesian Statistics, Databricks, Sampling (Statistics), Statistical Modeling, Probability, Applied Machine Learning, Jupyter, Regression Analysis, Statistical Programming, Predictive Modeling, Statistical Analysis, Model Evaluation, Probability Distribution, Data Science, Logistic Regression, Markov Model, Statistics, Statistical Methods, Simulations, Python Programming

    4
    Rating, 4 out of 5 stars
    ·
    109 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universitat Autònoma de Barcelona

    Sustainability of Social-Ecological Systems: the Nexus between Water, Energy and Food

    Skills you'll gain: Quantitative Research, Systems Thinking, Sustainable Development, Water Resource Management, Energy and Utilities, Environment and Resource Management, Policy Analysis, Social Sciences, Systems Analysis, Case Studies, Research, Scientific Methods

    4.5
    Rating, 4.5 out of 5 stars
    ·
    105 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Networking in Google Cloud: Routing and Addressing

    Skills you'll gain: Network Monitoring, Google Cloud Platform, Network Troubleshooting, Network Routing, TCP/IP, Virtual Networking, Cloud Deployment, General Networking, Virtual Private Networks (VPN), Network Architecture, Hybrid Cloud Computing, Network Security

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

    Intermediate · Course · 1 - 4 Weeks

1…167168169…569

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

  • Transportation, Sustainable Buildings, Green Construction: Johns Hopkins University
  • Scrum Master Certification: Scaling Agile and the Team-of-Teams: LearnQuest
  • 商务基础 (中文版): University of Pennsylvania
  • Quantum Mechanics: University of Colorado Boulder
  • Data Structures & Backend with Java: Board Infinity
  • Introduction to the Nonprofit Sector, Nonprofit Organizations, Nonprofit Leadership and Governance: University at Buffalo
  • Algebra: Elementary to Advanced - Polynomials and Roots: Johns Hopkins University
  • Start Your API Testing Journey With Postman Tool: Coursera
  • Computer Vision Basics: University at Buffalo
  • Introduction to Computational Statistics for Data Scientists: Databricks

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