• 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

    Universidad Nacional Autónoma de México

    Finanzas corporativas

    Skills you'll gain: Business Valuation, Fixed Asset, Financial Statement Analysis, Financial Management, Corporate Finance, Capital Budgeting, Performance Measurement, Portfolio Management, Business Mathematics, Financial Data, Finance, Investment Management, Project Finance, Financial Analysis, Budgeting, Financial Modeling, Balance Sheet, Capital Markets, Financial Policy, Microsoft Excel

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    C

    Codio

    Programming in C++: A Hands-on Introduction

    Skills you'll gain: File I/O, C and C++, Data Import/Export, C++ (Programming Language), Object Oriented Programming (OOP), Data Validation, Object Oriented Design, Programming Principles, Computer Programming, Data Structures, File Management, Integrated Development Environments, Data Store, Software Documentation, Computer Science, Functional Design, Pseudocode, Maintainability

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Principles of Management

    Skills you'll gain: Business Ethics, Leadership and Management, Organizational Strategy, Project Management, Leadership Studies, Influencing, Team Management, Conflict Management, Employee Coaching, Strategic Thinking, Team Building, Decision Making, Coaching, Relationship Building, Communication, Business Communication, Active Listening

    4.7
    Rating, 4.7 out of 5 stars
    ·
    603 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Advanced Algorithms and Complexity

    Skills you'll gain: Algorithms, Network Routing, Network Model, Graph Theory, Operations Research, Theoretical Computer Science, Network Analysis, Data Structures, Computational Thinking, Linear Algebra, Computer Science, Big Data, Python Programming, Programming Principles, Computational Logic, Probability & Statistics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    700 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Introduction to Economic Theories

    Skills you'll gain: Consumer Behaviour, Market Dynamics, Financial Market, Economics, Market Analysis, Tax, Economics, Policy, and Social Studies, Public Policies, Environmental Issue, Socioeconomics, Sustainable Development, Supply And Demand, Behavioral Economics, Decision Making

    4.5
    Rating, 4.5 out of 5 stars
    ·
    378 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Positive Psychology: Resilience Skills

    Skills you'll gain: Resilience, Positivity, Optimism, Cognitive flexibility, Relationship Building, Self-Awareness, Adaptability, Stress Management, Mindfulness, Communication

    4.9
    Rating, 4.9 out of 5 stars
    ·
    2.3K reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IE Business School

    Integrated Marketing Communications: Advertising, Public Relations, Digital Marketing and more

    Skills you'll gain: Marketing Communications, Integrated Marketing Communications, Advertising, Marketing, Marketing Budgets, Brand Marketing, Communication Planning, Marketing Planning, Brand Strategy, Brand Management, Brand Loyalty, Branding, Marketing Management, Campaign Management, Marketing Strategy and Techniques, Media Planning, Brand Awareness, Promotional Strategies, Consumer Behaviour, Communication

    Build toward a degree

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to battery-management systems

    Skills you'll gain: Electrical Safety, Electrical Systems, High Voltage, Electronic Components, Safety Standards, Control Systems, Basic Electrical Systems, Thermal Management, Failure Analysis, Energy and Utilities, Electrical Engineering, Manufacturing Processes, Materials science, Chemical Engineering, Chemistry, Requirements Analysis

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    R

    Rutgers the State University of New Jersey

    Supply Chain Excellence

    Skills you'll gain: Logistics, Logistics Management, Supply Chain Management, Manufacturing Operations, Strategic Sourcing, Operations Management, Warehouse Management, Forecasting, Supply Chain Planning, Business Operations, Materials Management, Financial Statements, Supply Chain, Inventory Management System, Transportation Management, Procurement, Supply Chain Systems, Case Studies, Cash Flows, Warehouse Operations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    615 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    L

    Lund University

    European Business Law: Understanding the Fundamentals

    Skills you'll gain: Legal Research, Law, Regulation, and Compliance, International Relations, Compliance Management, Environmental Laws, Public Policies, Case Law, Commercial Laws, Economics, Governance

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Product Management: Foundations & Stakeholder Collaboration

    Skills you'll gain: Innovation, Product Management, New Product Development, Stakeholder Engagement, Competitive Analysis, Product Planning, Product Strategy, Business Development, Product Lifecycle Management, Market Analysis, Communication, Stakeholder Management, Strategic Communication, Team Building, Leadership

    4.6
    Rating, 4.6 out of 5 stars
    ·
    354 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Essential Linear Algebra for Data Science

    Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra, Numerical Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    185 reviews

    Intermediate · Course · 1 - 3 Months

1…128129130…570

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

  • Finanzas corporativas: Universidad Nacional Autónoma de México
  • Programming in C++: A Hands-on Introduction: Codio
  • Principles of Management: Johns Hopkins University
  • Advanced Algorithms and Complexity: University of California San Diego
  • Introduction to Economic Theories: Erasmus University Rotterdam
  • Positive Psychology: Resilience Skills: University of Pennsylvania
  • Integrated Marketing Communications: Advertising, Public Relations, Digital Marketing and more: IE Business School
  • Introduction to battery-management systems: University of Colorado Boulder
  • Supply Chain Excellence: Rutgers the State University of New Jersey
  • European Business Law: Understanding the Fundamentals: Lund 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