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


  • C

    Coursera

    Excel for Beginners: Sorting, Filtering, Data-Validation

    Skills you'll gain: Data Validation, Microsoft Excel, Spreadsheet Software, Data Entry, Data Integrity, Microsoft Office

    4.5
    Rating, 4.5 out of 5 stars
    ·
    30 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • C

    Coursera

    Building Statistical Models in R: Linear Regression

    Skills you'll gain: Exploratory Data Analysis, Statistical Modeling, Regression Analysis, Data Visualization, Model Evaluation, Data Analysis, Statistical Methods, Scatter Plots, R Programming, Statistical Analysis, Plot (Graphics), R (Software), Ggplot2

    4.7
    Rating, 4.7 out of 5 stars
    ·
    20 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    Decision-Making: Blending Art & Science

    Skills you'll gain: Decision Making, Strategic Decision-Making, Self-Awareness, Emotional Intelligence, Critical Thinking, Behavioral Economics, Problem Solving, Leadership Development, Analysis, Goal Setting, Strategic Leadership, Risk Analysis, Adaptability

    4.8
    Rating, 4.8 out of 5 stars
    ·
    196 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    MathWorks

    Data Science Project: MATLAB for the Real World

    Skills you'll gain: Data Storytelling, Model Evaluation, Feature Engineering, Exploratory Data Analysis, Data Science, Machine Learning, Data Analysis, Data Preprocessing, Matlab, Technical Communication, Predictive Modeling, Data Manipulation, Data Import/Export

    4.7
    Rating, 4.7 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IESE Business School

    Análisis de situaciones de negocio

    Skills you'll gain: Case Studies, Financial Analysis, Market Share, People Management, Strategic Decision-Making, Marketing Management, Business Management, Corporate Strategy, Decision Making, Financial Statement Analysis, Business Analysis, Strategic Thinking, Consumer Behaviour, Complex Problem Solving, Brand Management, Leadership and Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    158 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Alberta Machine Intelligence Institute

    Optimizing Machine Learning Performance

    Skills you'll gain: Responsible AI, Data Ethics, MLOps (Machine Learning Operations), Model Deployment, Business Operations, Machine Learning, Ethical Standards And Conduct, Operational Analysis, Applied Machine Learning, Business Strategy, AI Enablement, AI Product Strategy, Model Evaluation, Data Maintenance, Performance Tuning, Risk Mitigation, Performance Metric, Continuous Monitoring, Systems Integration, Stakeholder Communications

    4.4
    Rating, 4.4 out of 5 stars
    ·
    51 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Python, SQL, Tableau for Data Science

    Skills you'll gain: Data Storytelling, Data Presentation, SQL, Data Visualization Software, Database Design, AWS SageMaker, Unsupervised Learning, Data Visualization, Interactive Data Visualization, Dashboard, Feature Engineering, Database Management, Exploratory Data Analysis, A/B Testing, Tableau Software, Pandas (Python Package), Matplotlib, Python Programming, Data Analysis, Machine Learning

    3.8
    Rating, 3.8 out of 5 stars
    ·
    22 reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Preview
    Preview
    U

    Universidad de los Andes

    Introducción al mantenimiento de activos físicos

    Skills you'll gain: Asset Management, Facility Management and Maintenance, Maintainability, Capacity Management, Key Performance Indicators (KPIs), Product Lifecycle Management, Performance Measurement, Failure Analysis, Continuous Monitoring, Reliability, Decision Making, Data-Driven Decision-Making, Cost Benefit Analysis, Scheduling

    4.9
    Rating, 4.9 out of 5 stars
    ·
    133 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    G

    Google

    Google Data-Driven Decision Making

    Skills you'll gain: Data Visualization, Data Ethics, Data Integrity, Data Literacy, Data Analysis, Tableau Software, Stakeholder Communications, Responsible AI, Small Data, Decision Making, Stakeholder Analysis, Sampling (Statistics), Key Performance Indicators (KPIs), Probability & Statistics, Big Data, Data Sharing, Spreadsheet Software, Verbal Communication Skills, Solution Design, Root Cause Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    43 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Cape Town

    Fintech Startups in Emerging Markets

    Skills you'll gain: Design Thinking, Entrepreneurship, Business Modeling, Blockchain, Solution Design, Cryptography, Financial Regulations, FinTech, Financial Regulation, Business Planning, Emerging Technologies, Financial Systems, Video Production, Business Strategies, Market Opportunities, Business Strategy, Mobile Banking, Banking, Machine Learning, New Business Development

    4.7
    Rating, 4.7 out of 5 stars
    ·
    260 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    E

    ESSEC Business School

    Leadership d'excellence par le sport de haut niveau

    Skills you'll gain: Leadership Development, Leadership, Initiative and Leadership, Organizational Leadership, Business Leadership, Strategic Leadership, Team Leadership, Verbal Communication Skills, Performance Analysis, Organizational Strategy, Coaching, Self-Awareness, Communication Strategies, Goal Setting, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    182 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    I

    IBM

    Malware Analysis and Introduction to Assembly Language

    Skills you'll gain: Malware Protection, Exploit development, Cyber Threat Hunting, Cyber Security Assessment, Application Security, Threat Detection, Virtual Machines, Debugging, System Programming, Scripting, Windows PowerShell, Virtualization, Computer Architecture, Excel Macros, Linux

    4.5
    Rating, 4.5 out of 5 stars
    ·
    86 reviews

    Intermediate · Course · 1 - 3 Months

1…256257258…580

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

  • Excel for Beginners: Sorting, Filtering, Data-Validation: Coursera
  • Building Statistical Models in R: Linear Regression: Coursera
  • Decision-Making: Blending Art & Science: Dartmouth College
  • Data Science Project: MATLAB for the Real World: MathWorks
  • Análisis de situaciones de negocio: IESE Business School
  • Optimizing Machine Learning Performance: Alberta Machine Intelligence Institute
  • Python, SQL, Tableau for Data Science: Coursera
  • Introducción al mantenimiento de activos físicos: Universidad de los Andes
  • Google Data-Driven Decision Making: Google
  • Fintech Startups in Emerging Markets: University of Cape Town

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