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

    Illinois Tech

    Operations and Process Management

    Skills you'll gain: Process Improvement, Process Management, Business Process, Business Process Management, Process Analysis, Business Process Improvement, Performance Improvement, Quality Improvement, Continuous Improvement Process, Process Mapping, Quality Management, Operational Excellence, Return On Investment, Change Management, Performance Measurement, Risk Management, Business Technologies, Project Management, Pareto Chart, Key Performance Indicators (KPIs)

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    189 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Health Care Innovation

    Skills you'll gain: Social Determinants Of Health, Health Policy, Program Evaluation, Lean Methodologies, Health Care Administration, Performance Measurement, Behavioral Economics, Operational Efficiency, Health Systems, Health Care, Value-Based Care, Innovation, Key Performance Indicators (KPIs), Operational Analysis, Scientific Methods, Decision Making

    4.6
    Rating, 4.6 out of 5 stars
    ·
    304 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The University of Tokyo

    Global Health Policy

    Skills you'll gain: Epidemiology, Gerontology, Public Health, Infectious Diseases, Health Policy, Health Equity, Health Systems, Health Care, Governance, Long Term Care, Chronic Diseases, Demography

    4.7
    Rating, 4.7 out of 5 stars
    ·
    292 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Financial Modeling & Valuation with Excel

    Skills you'll gain: Microsoft Excel, Excel Formulas, Pivot Tables And Charts, Working Capital, Cash Flows, Spreadsheet Software, Income Statement, Financial Analysis, Financial Accounting, Revenue Recognition, Business Valuation, Generally Accepted Accounting Principles (GAAP), Business Reporting, Balance Sheet, Data Visualization, Capital Expenditure, Accounts Receivable, Financial Modeling, Finance, Corporate Finance

    4.7
    Rating, 4.7 out of 5 stars
    ·
    128 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    D

    DeepLearning.AI

    PyTorch for Deep Learning

    Skills you'll gain: PyTorch (Machine Learning Library), Model Deployment, Convolutional Neural Networks, Transfer Learning, Generative AI, Deep Learning, Image Analysis, MLOps (Machine Learning Operations), Data Pipelines, Embeddings, Artificial Neural Networks, Model Evaluation, Data Preprocessing, Software Visualization, Computer Vision, Natural Language Processing, Machine Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    67 reviews

    Intermediate · Professional Certificate · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Cisco Learning and Certifications

    Network Automation Engineering Fundamentals

    Skills you'll gain: Ansible, Development Environment, Postman API Platform, Restful API, Authentications, YAML, Software Development Methodologies, Software-Defined Networking, CI/CD, DevOps, IT Automation, Network Engineering, Network Architecture, Network Administration, Application Programming Interface (API), Scripting, JSON, Data Modeling, Version Control, Network Protocols

    4.7
    Rating, 4.7 out of 5 stars
    ·
    158 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad de los Andes

    Formulación y evaluación de proyectos complejos

    Skills you'll gain: Feasibility Studies, Project Management Life Cycle, Project Portfolio Management, Strategic Planning, Project Design, Financial Analysis, Project Management, Engineering Management, Project Finance, Case Studies, Business Analysis, Cost Benefit Analysis, Decision Making, Risk Analysis

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad de Palermo

    Habilidades de Gestión del Talento

    Skills you'll gain: Negotiation, Game Theory, Social Skills, Decision Making, Conflict Management, Relationship Building, Strategic Decision-Making, Interpersonal Communications, Verbal Communication Skills, Leadership, Communication, Emotional Intelligence, Team Leadership, Team Management, Organizational Leadership, Leadership Development, Industrial and Organizational Psychology, Leadership and Management, Coordination, Behavioral Economics

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    L

    Lund University

    European Business Law: Competing in Europe

    Skills you'll gain: Intellectual Property, Legal Strategy, Legal Writing, Competitive Analysis, Mergers & Acquisitions, Law, Regulation, and Compliance, Advocacy, Procurement, Commercialization, Brand Strategy

    4.8
    Rating, 4.8 out of 5 stars
    ·
    307 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universidade de São Paulo

    Introdução à Análise Macroeconômica

    Skills you'll gain: Economics, Financial Market, Policy Analysis, Financial Policy, Strategic Decision-Making, Decision Making, Investments, Financial Modeling, Supply And Demand, Fiscal Management, Business Modeling, Market Dynamics, Expectation Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    345 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Dassault Systèmes

    SOLIDWORKS Foundations: Sketching and Extrusion

    Skills you'll gain: SolidWorks (CAD), Computer-Aided Design, Drafting and Engineering Design, Engineering Drawings, 3D Modeling, Mechanical Engineering

    4.7
    Rating, 4.7 out of 5 stars
    ·
    106 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    UNSW Sydney (The University of New South Wales)

    Remote Sensing Image Acquisition, Analysis and Applications

    Skills you'll gain: Image Analysis, Unsupervised Learning, Geospatial Information and Technology, Machine Learning Methods, Computer Vision, Feature Engineering, Spatial Analysis, Machine Learning, Dimensionality Reduction, Convolutional Neural Networks, Deep Learning, Supervised Learning, Classification Algorithms, Probability & Statistics, Artificial Neural Networks

    4.7
    Rating, 4.7 out of 5 stars
    ·
    180 reviews

    Intermediate · Course · 3 - 6 Months

1…153154155…569

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

  • Operations and Process Management: Illinois Tech
  • Health Care Innovation: University of Pennsylvania
  • Global Health Policy: The University of Tokyo
  • Financial Modeling & Valuation with Excel: EDUCBA
  • PyTorch for Deep Learning: DeepLearning.AI
  • Network Automation Engineering Fundamentals: Cisco Learning and Certifications
  • Formulación y evaluación de proyectos complejos: Universidad de los Andes
  • Habilidades de Gestión del Talento: Universidad de Palermo
  • European Business Law: Competing in Europe: Lund University
  • Introdução à Análise Macroeconômica: Universidade de São Paulo

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