• 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

    Introduction to battery-management systems

    Skills you'll gain: Electrical Safety, Electrical Systems, High Voltage, Electronic Components, Safety Standards, Control Systems, Basic Electrical Systems, Thermal Management, Failure Analysis, Energy and Utilities, Electrical Engineering, Manufacturing Processes, Materials science, Chemical Engineering, Chemistry, Requirements Analysis

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Deploy and Maintain Power BI Assets and Capstone project

    Skills you'll gain: Power BI, Dashboard, SQL, Microsoft SQL Servers, Data Security, Data Analysis, Data Visualization Software, Data Modeling, Data Management, Role-Based Access Control (RBAC)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    292 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Washington

    Machine Learning: Clustering & Retrieval

    Skills you'll gain: Unsupervised Learning, Bayesian Statistics, Applied Machine Learning, Data Mining, Statistical Machine Learning, Statistical Inference, Text Mining, Statistical Modeling, Machine Learning Algorithms, Unstructured Data, Machine Learning, Scalability, Data Structures, Distributed Computing, Probability Distribution, Algorithms

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IIMA - IIM Ahmedabad

    Advanced Digital Transformation

    Skills you'll gain: Digital Transformation, Business Transformation, Stakeholder Engagement, AI Enablement, Innovation, Organizational Change, Change Management, Business Modeling, Technology Strategies, Organizational Strategy, Artificial Intelligence, Enterprise Architecture, Organizational Effectiveness, Performance Improvement, Cloud Computing Architecture, Governance, Cognitive flexibility, Data-Driven Decision-Making, Workforce Development, Overcoming Objections

    4.7
    Rating, 4.7 out of 5 stars
    ·
    198 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Business Analytics for Decision Making

    Skills you'll gain: Business Analytics, Risk Analysis, Decision Making, Predictive Analytics, Simulation and Simulation Software, Business Modeling, Data Analysis, Process Optimization, Market Analysis, Unsupervised Learning, Microsoft Excel, Exploratory Data Analysis, Probability Distribution

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    M

    Michigan State University

    Write A Feature Length Screenplay For Film Or Television

    Skills you'll gain: Storyboarding, Writing, Writing and Editing, Storytelling, Peer Review

    4.6
    Rating, 4.6 out of 5 stars
    ·
    301 reviews

    Beginner · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    C

    Codio

    Programming in C++: A Hands-on Introduction

    Skills you'll gain: File I/O, C and C++, Data Import/Export, C++ (Programming Language), Object Oriented Programming (OOP), Data Validation, Object Oriented Design, Programming Principles, Computer Programming, Data Structures, File Management, Integrated Development Environments, Data Store, Software Documentation, Computer Science, Functional Design, Pseudocode, Maintainability

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Amsterdam

    Inferential Statistics

    Skills you'll gain: Regression Analysis, Statistical Inference, Statistics, Logistic Regression, R Programming

    4.3
    Rating, 4.3 out of 5 stars
    ·
    607 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    Google Data Analytics (PT)

    Skills you'll gain: Data Cleansing, Rmarkdown, Data Storytelling, Data Presentation, Data Validation, Spreadsheet Software, Data Visualization, Data Ethics, Data Literacy, Tableau Software, Data Visualization Software, Data Analysis, Analytical Skills, Stakeholder Communications, Presentations, SQL, Data Manipulation, Data Quality, Data Collection, Data Processing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    4.1K reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Preview
    Preview
    E

    Edge Impulse

    Introduction to Embedded Machine Learning

    Skills you'll gain: Model Evaluation, Applied Machine Learning, Embedded Software, Data Preprocessing, Embedded Systems, Machine Learning, Artificial Neural Networks, Artificial Intelligence and Machine Learning (AI/ML), Data Ethics, Deep Learning, Model Deployment, Convolutional Neural Networks, Data Analysis, Feature Engineering, Computer Programming, Digital Signal Processing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    748 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Foundational Finance for Strategic Decision Making

    Skills you'll gain: Financial Modeling, Market Data, Financial Analysis, Cash Flows, Loans, Financial Statements, Finance, Portfolio Risk, Risk Management, Portfolio Management, Business Valuation, Corporate Finance, Capital Budgeting, Securities (Finance), Mortgage Loans, Risk Analysis, Financial Forecasting, Excel Formulas, Equities, Investments

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

    Beginner · Specialization · 3 - 6 Months

  • T

    The State University of New York

    Solar Energy System Design

    Skills you'll gain: Electrical Power, Basic Electrical Systems, Electric Power Systems, Wiring Diagram, Equipment Design, Energy and Utilities, Electronic Components, Sustainable Design, System Requirements, Electrical Safety, Engineering Calculations, Performance Testing, Physical Science, Estimation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    472 reviews

    Intermediate · Course · 1 - 3 Months

1…133134135…573

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

  • Introduction to battery-management systems: University of Colorado Boulder
  • Deploy and Maintain Power BI Assets and Capstone project: Microsoft
  • Machine Learning: Clustering & Retrieval: University of Washington
  • Advanced Digital Transformation: IIMA - IIM Ahmedabad
  • Business Analytics for Decision Making: University of Colorado Boulder
  • Write A Feature Length Screenplay For Film Or Television: Michigan State University
  • Programming in C++: A Hands-on Introduction: Codio
  • Inferential Statistics: University of Amsterdam
  • Google Data Analytics (PT): Google
  • Introduction to Embedded Machine Learning: Edge Impulse

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