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

    LearnKartS

    Cloud Fundamentals

    Skills you'll gain: Cloud Deployment, Virtualization, Cloud Computing Architecture, Cloud Computing, Public Cloud, Network Protocols, TCP/IP, Amazon Web Services, File Transfer Protocol (FTP), General Networking, Virtual Machines, Infrastructure As A Service (IaaS), Software As A Service, Platform As A Service (PaaS), Servers, Private Cloud, Hybrid Cloud Computing

    4.4
    Rating, 4.4 out of 5 stars
    ·
    77 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Artificial Intelligence for Breast Cancer Detection

    Skills you'll gain: Mammography, Artificial Intelligence, Medical Imaging, Image Analysis, Oncology, Diagnostic Radiology, Bayesian Network, Artificial Neural Networks, Radiography, Machine Learning, Model Evaluation, Epidemiology, Deep Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    79 reviews

    Intermediate · Course · 1 - 4 Weeks

  • I

    Instituto Tecnológico de Aeronáutica

    Desenvolvimento Ágil com Java Avançado

    Skills you'll gain: Model View Controller, Selenium (Software), Web Applications, Java, JUnit, Data Access, Java Platform Enterprise Edition (J2EE), Agile Methodology, Software Testing, Application Development, Software Design Patterns

    4.7
    Rating, 4.7 out of 5 stars
    ·
    197 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    Technical University of Munich (TUM)

    Cost Accounting: Decision Making

    Skills you'll gain: Cost Accounting, Management Accounting, Operating Cost, Cost Management, Strategic Decision-Making, Profit and Loss (P&L) Management, Product Assortment, Price Negotiation, Capacity Management, Decision Making, Forecasting, Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    124 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Advanced Data Analysis & Visualization with Copilot in Excel

    Skills you'll gain: Microsoft Excel, Pivot Tables And Charts, Excel Formulas, Data Presentation, Data Storytelling, Data Visualization Software, Microsoft Copilot, Statistical Analysis, Data Analysis, Statistical Methods, Data Integration, Data-Driven Decision-Making

    4.4
    Rating, 4.4 out of 5 stars
    ·
    34 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Rochester

    The Power of Markets I: The Basics of Supply and Demand and Consumer Behavior

    Skills you'll gain: Supply And Demand, Market Dynamics, Economics, Consumer Behaviour, Resource Allocation, Cost Benefit Analysis, Market Analysis, Policy Analysis, Decision Making, Investment Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    272 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    D

    DeepLearning.AI

    LangChain for LLM Application Development

    Skills you'll gain: LangChain, LLM Application, Large Language Modeling, Retrieval-Augmented Generation, Generative AI Agents, Prompt Engineering, Generative AI, Generative Model Architectures, AI Workflows

    4.7
    Rating, 4.7 out of 5 stars
    ·
    267 reviews

    Beginner · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Managerial Accounting: Tools for Facilitating and Guiding Business Decisions

    Skills you'll gain: Management Accounting, Performance Measurement, Cost Accounting, Variance Analysis, Budgeting, Accounting, Capital Budgeting, Financial Accounting, Organizational Strategy, Key Performance Indicators (KPIs), Financial Analysis, Return On Investment, Cash Flows, Decision Making

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    642 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    L

    Lund University

    Working for a sustainable future: concepts and approaches

    Skills you'll gain: Sustainable Development, Systems Thinking, Sustainable Business, Sustainable Technologies, Sustainability Standards, Policy Development, Environmental Policy, Environment, Environmental Science, Innovation, Natural Resource Management, Climate Change Adaptation, Mathematical Modeling, Climate Change Mitigation, Geospatial Information and Technology

    4.7
    Rating, 4.7 out of 5 stars
    ·
    124 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Principal Component Analysis with NumPy

    Skills you'll gain: Exploratory Data Analysis, NumPy, Data Visualization, Data Analysis, Seaborn, Matplotlib, Statistical Visualization, Jupyter, Dimensionality Reduction, Data Science, Machine Learning Methods, Python Programming, Data Preprocessing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    298 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Homeland Security & Cybersecurity Connection - It's Not About the Terrorists

    Skills you'll gain: Infrastructure Security, Public Safety and National Security, Cybersecurity, Cyber Attacks, Cyber Security Policies, Security Strategy, Threat Modeling, Policty Analysis, Research, and Development, World History, Risk Management Framework

    4.7
    Rating, 4.7 out of 5 stars
    ·
    383 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    B

    Board Infinity

    Fundamentals of NestJS

    Skills you'll gain: Middleware, Node.JS, Model View Controller, Development Environment, Application Frameworks, Application Development, Restful API, TypeScript, Web Applications, Web Development Tools, Application Programming Interface (API), Server Side, Network Routing, Javascript, Android Development, Dependency Analysis

    3.6
    Rating, 3.6 out of 5 stars
    ·
    36 reviews

    Intermediate · Course · 1 - 4 Weeks

1…253254255…578

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

  • Cloud Fundamentals: LearnKartS
  • Artificial Intelligence for Breast Cancer Detection: Johns Hopkins University
  • Desenvolvimento Ágil com Java Avançado: Instituto Tecnológico de Aeronáutica
  • Cost Accounting: Decision Making: Technical University of Munich (TUM)
  • Advanced Data Analysis & Visualization with Copilot in Excel: Microsoft
  • The Power of Markets I: The Basics of Supply and Demand and Consumer Behavior : University of Rochester
  • LangChain for LLM Application Development: DeepLearning.AI
  • Managerial Accounting: Tools for Facilitating and Guiding Business Decisions: University of Illinois Urbana-Champaign
  • Working for a sustainable future: concepts and approaches: Lund University
  • Principal Component Analysis with NumPy: Coursera

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