• 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: Preview
    Preview
    U

    University of Leeds

    Fundamental Skills in Engineering Design

    Skills you'll gain: Engineering Design Process, Engineering Management, Requirements Elicitation, Product Lifecycle Management, Problem Solving, Product Design, Product Development, Engineering Practices, New Product Development, Product Requirements, Conceptual Design

    4.7
    Rating, 4.7 out of 5 stars
    ·
    229 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universitat de Barcelona

    Técnicas Microscópicas de Caracterización

    Skills you'll gain: Specimen Preparation, Laboratory Techniques, Materials science, Laboratory Equipment, Cell Biology, Micrometer, Engineering, Scientific, and Technical Instruments, Biomedical Technology, Microbiology, Analytical Chemistry, Molecular, Cellular, and Microbiology, Image Analysis, Electrical Engineering, Structural Analysis, Manufacturing Processes, Mechanical Engineering

    4.7
    Rating, 4.7 out of 5 stars
    ·
    812 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Innovar

    Skills you'll gain: Innovation, Design Thinking, Brainstorming, Creativity, Customer experience improvement, New Product Development, Product Development, Service Design, Strategic Planning, Brand Management, Sustainable Business, Process Improvement, Business Strategies

    4.8
    Rating, 4.8 out of 5 stars
    ·
    820 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Software Engineering

    Skills you'll gain: Software Design Patterns, Requirements Analysis, White-Box Testing, Software Architecture, Acceptance Testing, Software Development Methodologies, Unified Modeling Language, Software Development Life Cycle, Configuration Management, Debugging, Software Design, Process Driven Development, Software Engineering, Software Testing, Object Oriented Design, Functional Requirement, Data Modeling, Systems Design, Project Management, Project Planning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    606 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Foundations of Business Strategy and Research

    Skills you'll gain: Qualitative Research, Market Research, Strategic Decision-Making, Key Performance Indicators (KPIs), Quantitative Research, Innovation, Target Audience, Data-Driven Decision-Making, Sustainable Business, Benchmarking, Business Acumen, Value Propositions, Descriptive Statistics, Performance Measurement, Ideation, Team Performance Management, Competitive Analysis, Risk Management, Business Strategy, Data Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    197 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Data Modeling, Transformation, and Serving

    Skills you'll gain: Data Modeling, Data Transformation, Data Warehousing, Data Preprocessing, Apache Hadoop, Data Pipelines, Apache Spark, Feature Engineering, Star Schema, Real Time Data, Data Access, Machine Learning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    89 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Explainable AI (XAI)

    Skills you'll gain: Responsible AI, Large Language Modeling, Data Ethics, Decision Tree Learning, AI Security, Regression Analysis, Generative AI, Artificial Intelligence, Predictive Modeling, AI Product Strategy, Statistical Modeling, Python Programming, Machine Learning, Model Evaluation, Applied Machine Learning, Image Analysis, Logistic Regression, Machine Learning Methods, Deep Learning, Visualization (Computer Graphics)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    78 reviews

    Intermediate · Specialization · 1 - 3 Months

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

    Tecnológico de Monterrey

    1.- El Cálculo - Modelo Lineal

    Skills you'll gain: Arithmetic, Mathematics Education, Mathematical Modeling, Digital pedagogy, Calculus, Applied Mathematics, Mathematical Theory & Analysis, Algebra, Graphing

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Fundamentals of Java Programming

    Skills you'll gain: Eclipse (Software), Java Programming, Object Oriented Programming (OOP), Java, Object Oriented Design, Integrated Development Environments, Development Environment, Computer Programming, Debugging, Virtual Machines, Algorithms

    4.4
    Rating, 4.4 out of 5 stars
    ·
    623 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Finance of Mergers and Acquisitions: Designing an M&A Deal

    Skills you'll gain: Mergers & Acquisitions, Private Equity, Business Valuation, Investment Banking, Price Negotiation, Capital Markets, Accounting, Corporate Tax, Corporate Strategy, Financial Modeling, Financial Management, Corporate Finance, Strategic Planning, Financial Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    65 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Deep Teaching Solutions

    Critical Thinking for Better Decisions in the ChatGPT Era

    Skills you'll gain: Critical Thinking, Cognitive flexibility, Decision Making, Emotional Intelligence, Mental Concentration, Behavioral Economics, ChatGPT, Strategic Thinking, Artificial Intelligence, Self-Awareness

    4.7
    Rating, 4.7 out of 5 stars
    ·
    109 reviews

    Beginner · Course · 1 - 4 Weeks

1…203204205…573

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

  • Fundamental Skills in Engineering Design: University of Leeds
  • Técnicas Microscópicas de Caracterización : Universitat de Barcelona
  • Innovar: Arizona State University
  • Software Engineering: The Hong Kong University of Science and Technology
  • Foundations of Business Strategy and Research: Coursera
  • Data Modeling, Transformation, and Serving: DeepLearning.AI
  • Explainable AI (XAI): Duke University
  • Introduction to Computational Statistics for Data Scientists: Databricks
  • 1.- El Cálculo - Modelo Lineal: Tecnológico de Monterrey
  • Fundamentals of Java Programming: Board Infinity

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