• 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

    University of Colorado Boulder

    Finance for Technical Managers

    Skills you'll gain: Sustainability Reporting, Financial Analysis, Financial Statement Analysis, Cost Estimation, Environmental Social And Corporate Governance (ESG), Capital Budgeting, Budgeting, Cost Benefit Analysis, Project Risk Management, Risk Analysis, Income Statement, Financial Modeling, Project Estimation, Investment Management, Balance Sheet, Risk Management, Financial Reporting, Financial Forecasting, Project Finance, Finance

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    357 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Data Analysis with R

    Skills you'll gain: Exploratory Data Analysis, Data Wrangling, Statistical Analysis, Data Analysis, Model Evaluation, Data Transformation, R Programming, Data Visualization, Regression Analysis, Predictive Modeling, Data Manipulation, Data Science, Box Plots, Statistical Modeling, Predictive Analytics, Correlation Analysis, Tidyverse (R Package), Data Cleansing, Data Preprocessing, Data Import/Export

    4.7
    Rating, 4.7 out of 5 stars
    ·
    346 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Smart Contracts

    Skills you'll gain: Blockchain, Program Development, Development Environment, Web Language, Web Development Tools, Integrated Development Environments, Programming Principles, Solution Design, Business Logic, Event-Driven Programming, Transaction Processing, Data Validation

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Communication Skills for Engineers

    Skills you'll gain: Presentations, Technical Communication, Verbal Communication Skills, Executive Presence, Public Speaking, Engineering Documentation, Business Communication, Concision, Crisis Management, Scientific Visualization, Persuasive Communication, Interpersonal Communications, Communication, Meeting Facilitation, Electronic Media, Communication Strategies, Intercultural Competence, Report Writing, Writing, Engineering Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    884 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    T

    The University of Melbourne

    Essentials of Corporate Finance

    Skills you'll gain: Financial Analysis, Financial Statement Analysis, Financial Statements, Corporate Finance, Financial Management, Portfolio Risk, Accounting, Financial Systems, Financial Modeling, Investments, Capital Markets, Market Liquidity, Balance Sheet, Derivatives, Financial Market, Income Statement, Financial Data, Financial Reporting, Business Valuation, International Finance

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Algebra and Differential Calculus for Data Science

    Skills you'll gain: Algebra, Calculus, Graphing, Applied Mathematics, Data Science, Derivatives, Numerical Analysis, Mathematical Theory & Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    262 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    AI For Medical Treatment

    Skills you'll gain: Deep Learning, Statistical Analysis, Clinical Trials, Treatment Planning, Data Analysis, Model Evaluation, Applied Machine Learning, Patient Treatment, AI Personalization, Machine Learning, Text Mining, Health Informatics, Medical Terminology, Natural Language Processing

    4.7
    Rating, 4.7 out of 5 stars
    ·
    531 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Lean Software Development

    Skills you'll gain: Design Thinking, Process Mapping, Kanban Principles, User Experience Design, Lean Methodologies, Lean Manufacturing, Agile Software Development, Product Development, Lean Six Sigma, Process Improvement, Software Development, Software Development Methodologies, Continuous Improvement Process, Innovation, Prototyping

    4.6
    Rating, 4.6 out of 5 stars
    ·
    432 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Leadership and Critical Thinking

    Skills you'll gain: Critical Thinking, Organizational Leadership, Independent Thinking, Positivity, Self-Awareness, Stress Management, Leadership, Resilience, Influencing, Motivational Skills, Decision Making, Personal Development, Leadership Development, Industrial and Organizational Psychology, Strategic Thinking, Leadership and Management, Emotional Intelligence, Business Leadership, Systems Thinking, Research

    4.6
    Rating, 4.6 out of 5 stars
    ·
    351 reviews

    Advanced · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    I

    Insper

    Introdução ao Marketing Analítico

    Skills you'll gain: Marketing Analytics, Analytical Skills, Data Analysis, Data Collection, Marketing, Analytics, Market Research, Data-Driven Decision-Making, Customer Insights, Statistical Methods, Business Metrics, Consumer Behaviour, Brand Strategy

    4.7
    Rating, 4.7 out of 5 stars
    ·
    800 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    SAS

    SAS Statistical Business Analyst

    Skills you'll gain: Logistic Regression, SAS (Software), Predictive Modeling, Model Evaluation, Predictive Analytics, Statistical Hypothesis Testing, Statistical Analysis, Correlation Analysis, Statistical Modeling, Regression Analysis, Statistical Methods, Probability & Statistics, Classification And Regression Tree (CART), Big Data, Plot (Graphics), Data Analysis, Model Deployment, Statistical Inference, Statistical Machine Learning, Feature Engineering

    4.6
    Rating, 4.6 out of 5 stars
    ·
    228 reviews

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Build Batch Data Pipelines on Google Cloud

    Skills you'll gain: Data Warehousing, Data Quality, Data Cleansing, Performance Tuning, Data Validation, Scalability, Database Management, System Monitoring, Serverless Computing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    1.7K reviews

    Intermediate · Course · 1 - 4 Weeks

1…132133134…573

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

  • Finance for Technical Managers: University of Colorado Boulder
  • Data Analysis with R: IBM
  • Smart Contracts: University at Buffalo
  • Communication Skills for Engineers: Rice University
  • Essentials of Corporate Finance: The University of Melbourne
  • Algebra and Differential Calculus for Data Science: University of Colorado Boulder
  • AI For Medical Treatment: DeepLearning.AI
  • Lean Software Development: University of Minnesota
  • Leadership and Critical Thinking: Tecnológico de Monterrey
  • Introdução ao Marketing Analítico: Insper

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