• 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: New
    New
    P

    Packt

    Aspiring CIO & CISO: Leadership Development Guide

    Skills you'll gain: Risk Management, Leadership Development, Crisis Management, Stakeholder Management, Interviewing Skills, Personal Development, Leadership, Strategic Partnership, Professional Networking, Leadership and Management, Branding, Business Leadership, Cybersecurity, Strategic Leadership, Business Planning, IT Management, Strategic Thinking, Communication Planning

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    Sungkyunkwan University

    Machine Learning Basics

    Skills you'll gain: Machine Learning, Python Programming, Supervised Learning, Model Evaluation, Scikit Learn (Machine Learning Library), Logistic Regression, Applied Machine Learning, Regression Analysis, Classification Algorithms, Statistical Methods, Linear Algebra

    4.4
    Rating, 4.4 out of 5 stars
    ·
    91 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    G

    Georgia Institute of Technology

    Mechanics of Materials I: Fundamentals of Stress & Strain and Axial Loading

    Skills you'll gain: Structural Analysis, Mechanical Engineering, Failure Analysis, Engineering Analysis, Mechanics, Materials science, Engineering Calculations, Civil Engineering, Mathematical Modeling, Trigonometry

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

    Mixed · Course · 1 - 3 Months

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

    Coursera

    Build Dynamic No-Code Apps

    Skills you'll gain: No-Code Development, User Centered Design, Mobile Development, Web Applications, User Interface (UI) Design, Experience Design, UI/UX Research, User Feedback, Functional Testing, Integration Testing, Root Cause Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    B

    Birla Institute of Technology & Science, Pilani

    Basic Engineering Mathematics

    Skills you'll gain: Engineering Calculations, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Algebra

    4.6
    Rating, 4.6 out of 5 stars
    ·
    182 reviews

    Beginner · Course · 1 - 3 Months

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

    Coursera

    Target Demographics: Boost Purchase Velocity

    Skills you'll gain: A/B Testing, Google Analytics, Customer Insights, Marketing Analytics, Target Audience, Digital Advertising, Online Advertising, Social Media Campaigns, Advertising Campaigns, Performance Measurement, Business Metrics, Key Performance Indicators (KPIs), Consumer Behaviour, AI Enablement, Data Analysis

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    HTML, CSS, and JavaScript Basics with Simple Projects

    Skills you'll gain: Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), User Interface (UI), User Experience Design, Web Design and Development, Development Environment, Front-End Web Development, Javascript, Web Development, Web Applications, Responsive Web Design, Microsoft Visual Studio, Real Time Data, Data Validation

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Y

    Yonsei University

    Emerging Technologies: From Smartphones to IoT to Big Data

    Skills you'll gain: Apache Spark, Augmented Reality, Cloud Computing Architecture, Big Data, Wireless Networks, SPSS, Augmented and Virtual Reality (AR/VR), Cloud Computing, Internet Of Things, Analytics, Real Time Data, Apache Hadoop, Telecommunications, Local Area Networks, Multimedia, Emerging Technologies, Apple iOS, Market Analysis, Display Devices, Product Planning

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

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    Project, Stakeholder, and Requirements Management Fundamentals

    Skills you'll gain: Communication Planning, Stakeholder Engagement, Requirements Analysis, Project Coordination, Stakeholder Communications, AI Enablement, Waterfall Methodology, Kanban Principles, Business Analysis, Risk Management, Communication, Product Lifecycle Management, Prioritization

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Advanced Data Testing for Quality at Scale

    Skills you'll gain: Application Lifecycle Management, Azure DevOps, CI/CD, Continuous Delivery, Continuous Integration, DevOps, Data Validation, Data Governance, Data Quality, Test Automation, Extract, Transform, Load, Data Pipelines, Scalability, SQL

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Applied Football Analytics - Looking at real-world cases

    Skills you'll gain: Data Synthesis, Data Integration, Data Literacy, Data Storytelling, Analysis, Case Studies, Business Analytics, Advanced Analytics, Analytical Skills, Strategic Decision-Making, Business Metrics, Forecasting, Media and Communications, Statistics, Persuasive Communication, Databases, Database Design, Innovation

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Excel Time Series Models for Business Forecasting

    Skills you'll gain: Time Series Analysis and Forecasting, Forecasting, Model Evaluation, Microsoft Excel, Excel Formulas, Trend Analysis, Predictive Modeling, Data Presentation, Statistical Visualization, Graphing, Process Optimization

    4.9
    Rating, 4.9 out of 5 stars
    ·
    247 reviews

    Intermediate · Course · 1 - 3 Months

1…838485…566

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

  • Aspiring CIO & CISO: Leadership Development Guide: Packt
  • Machine Learning Basics: Sungkyunkwan University
  • Mechanics of Materials I: Fundamentals of Stress & Strain and Axial Loading: Georgia Institute of Technology
  • Build Dynamic No-Code Apps: Coursera
  • Basic Engineering Mathematics: Birla Institute of Technology & Science, Pilani
  • Target Demographics: Boost Purchase Velocity: Coursera
  • HTML, CSS, and JavaScript Basics with Simple Projects: Packt
  • Emerging Technologies: From Smartphones to IoT to Big Data: Yonsei University
  • Project, Stakeholder, and Requirements Management Fundamentals: SkillUp
  • Advanced Data Testing for Quality at Scale: 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