• 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

    LLM Engineer’s Handbook

    Skills you'll gain: Retrieval-Augmented Generation, Large Language Modeling, Hugging Face, MLOps (Machine Learning Operations), OpenAI, Prompt Engineering, Model Deployment, AWS SageMaker, Extract, Transform, Load, Embeddings, Data Pipelines, CI/CD, Vector Databases, Model Evaluation

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    How to Use The IFE-EFE Matrix for Strategic Analysis

    Skills you'll gain: Competitive Analysis, Strategic Thinking, Business Strategy, Strategic Decision-Making, Organizational Strategy, Key Performance Indicators (KPIs), Performance Analysis, Analysis, Internal Auditing, Market Analysis, External Auditing, Market Opportunities, Entrepreneurship, Leadership

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Mastering Multithreading with Go

    Skills you'll gain: Data Sharing, Web Development

    3.3
    Rating, 3.3 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Liderazgo en la empresa familiar

    Skills you'll gain: Leadership, Organizational Leadership, Business Leadership, Leadership and Management, Governance, Strategic Leadership, Leadership Development, Succession Planning, Business Management, Business Administration, Strategic Thinking, Business, Business Strategy, New Business Development, Stakeholder Engagement, Decision Making

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Solar Power Sensors

    Skills you'll gain: Power Electronics, Electrical Power, Electronic Components, Semiconductors, Electrical Engineering, Electronic Systems, System Monitoring, Energy and Utilities, Safety Assurance, Environmental Monitoring, Control Systems, Manufacturing Processes

    4.6
    Rating, 4.6 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Bracketology with Google Machine Learning

    Skills you'll gain: Data Preprocessing, Model Evaluation, Applied Machine Learning, Big Data, Google Cloud Platform, Data Manipulation, Predictive Analytics, Machine Learning, Exploratory Data Analysis, SQL

    Beginner · Project · Less Than 2 Hours

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

    Packt

    Foundations of Data Science and Machine Learning with Python

    Skills you'll gain: Predictive Modeling, Matplotlib, Applied Machine Learning, Seaborn, Data Visualization, Regression Analysis, Pandas (Python Package), Statistical Machine Learning, Statistical Analysis, Machine Learning, Supervised Learning, Data Science, Scikit Learn (Machine Learning Library), Probability & Statistics, Python Programming, Unsupervised Learning, Data Analysis, Decision Tree Learning, NumPy, Data Manipulation

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    Edureka

    AI-Powered Decision Intelligence

    Skills you'll gain: Responsible AI, Data Storytelling, AI Workflows, Data Presentation, AI Enablement, Predictive Modeling, Decision Support Systems, Strategic Decision-Making, Data-Driven Decision-Making, Business Intelligence, Decision Making, Business Analytics, Agentic systems, MLOps (Machine Learning Operations), Forecasting, Predictive Analytics, Scikit Learn (Machine Learning Library), Machine Learning, Data Security, Text Mining

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Customer-Centric Enterprise: Product Lifecycle Management

    Skills you'll gain: AI Product Strategy, Product Lifecycle Management, Responsible AI, Product Strategy, Governance, Product Management, Innovation, Product Roadmaps, Product Marketing, Organizational Structure, Business Strategy, Enterprise Risk Management (ERM), Customer experience strategy (CX), Value Propositions, Business Metrics, Customer Insights, Performance Metric

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Jetson Nano Starter to Pro - A Computer Vision Course

    Skills you'll gain: Computer Vision, Image Analysis, PyTorch (Machine Learning Library), Convolutional Neural Networks, Tensorflow, Artificial Intelligence, Transfer Learning, System Configuration, Deep Learning, Real Time Data, Performance Tuning, Model Deployment, Development Environment, Software Installation

    Intermediate · Course · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Washington

    머신 러닝 기초: 사례 연구 접근 방식

    Skills you'll gain: Model Evaluation, Regression Analysis, Applied Machine Learning, Machine Learning, Deep Learning, Jupyter, Supervised Learning, Predictive Analytics, Classification Algorithms, Image Analysis, Unsupervised Learning, Computer Vision, Text Mining, Natural Language Processing, Python Programming

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Blender 3 to Unreal Engine 5 — Dungeon Modular Kitbash

    Skills you'll gain: Unreal Engine, 3D Assets, 3D Modeling, Computer Graphic Techniques, Editing, Graphics Software

    Beginner · Specialization · 3 - 6 Months

1…464465466…588

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

  • LLM Engineer’s Handbook: Packt
  • How to Use The IFE-EFE Matrix for Strategic Analysis: Coursera
  • Mastering Multithreading with Go: Edureka
  • Liderazgo en la empresa familiar: Tecnológico de Monterrey
  • Solar Power Sensors: University of Colorado Boulder
  • Bracketology with Google Machine Learning: Google Cloud
  • Foundations of Data Science and Machine Learning with Python: Packt
  • AI-Powered Decision Intelligence: Edureka
  • Customer-Centric Enterprise: Product Lifecycle Management: University of Maryland, College Park
  • Jetson Nano Starter to Pro - A Computer Vision Course: Packt

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