• 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
    Status: Free Trial
    Free Trial
    L

    LearnQuest

    No-Code Machine Learning and Data Science for Everyone

    Skills you'll gain: Responsible AI, Exploratory Data Analysis, Data Storytelling, Dashboard, Data Presentation, Model Evaluation, Data Literacy, No-Code Development, Business Analytics, Data Science, Business Analysis, Model Deployment, Applied Machine Learning, Data Ethics, Data Capture, MLOps (Machine Learning Operations), Machine Learning, Data Analysis, Predictive Modeling, Data Visualization

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Assessing Health Program Delivery

    Skills you'll gain: Program Evaluation, Health Assessment, Health Policy, Health Care Procedure and Regulation, Health Systems, Data Collection, Surveys, Community Health, Maternal Health, Research Design, Child Health

    Mixed · Course · 1 - 3 Months

  • C

    Coursera

    Eine Einführung in die Finite Elemente Methode mit SimScale

    Skills you'll gain: Finite Element Methods, Simulation and Simulation Software, Data Validation, Simulations, Engineering Analysis, Verification And Validation, Engineering Design Process, Cloud Engineering, Mechanical Engineering, Scientific Visualization, Physics

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    P

    Packt

    Mastering Machine Learning Algorithms using Python

    Skills you'll gain: Data Science, Unsupervised Learning, Exploratory Data Analysis, Probability & Statistics, Machine Learning Algorithms, Applied Machine Learning, Classification And Regression Tree (CART), Data Analysis, Python Programming, Random Forest Algorithm, Dimensionality Reduction, Predictive Modeling, NumPy, Regression Analysis, Statistical Analysis, Data Processing, Deep Learning, Pandas (Python Package), Data Visualization, Data Manipulation

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Advanced UX Strategies for Product Managers

    Skills you'll gain: User Experience Design, Data Storytelling, User Centered Design, Usability Testing, Product Improvement, Customer experience strategy (CX), User Research, Design Research, Figma (Design Software), User Feedback, Wireframing, Storytelling, Prioritization

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    D

    DeepLearning.AI

    Embedding Models: From Architecture to Implementation

    Skills you'll gain: Embeddings, Retrieval-Augmented Generation, Large Language Modeling, Semantic Web, Vector Databases, Natural Language Processing

    5
    Rating, 5 out of 5 stars
    ·
    7 reviews

    Beginner · Project · Less Than 2 Hours

  • Status: Free
    Free
    C

    Coursera

    MLOps in R: Deploying machine learning models using vetiver

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Continuous Deployment, R Programming, Dashboard, Health Informatics, Applied Machine Learning, Continuous Monitoring, Predictive Modeling, Docker (Software), Application Programming Interface (API)

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    Supervised Learning Regression Classification Clustering

    Skills you'll gain: Supervised Learning, Data Modeling, Unsupervised Learning, Applied Machine Learning, Data Analysis, Regression Analysis, Classification Algorithms, Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Decision Tree Learning, Predictive Analytics, Logistic Regression, Random Forest Algorithm, Bayesian Statistics

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Machine/Deep Learning for Mining Quality Prediction-Enhanced

    Skills you'll gain: Exploratory Data Analysis, Model Evaluation, Data Preprocessing, Regression Analysis, Applied Machine Learning, Scikit Learn (Machine Learning Library), Data Analysis, Matplotlib, Random Forest Algorithm, Machine Learning, Data Visualization, Decision Tree Learning, Artificial Neural Networks, Deep Learning, Python Programming

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    U

    University of Virginia

    Coding Data Models with AI

    Skills you'll gain: Model View Controller, Integrated Development Environments, Data Modeling, Database Design, Software Development Tools, NoSQL, Database Architecture and Administration, Application Programming Interface (API), OpenAI, ChatGPT, Version Control, Infrastructure Architecture, Artificial Intelligence, API Design

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Mastering Selenium WebDriver and Java Fundamentals

    Skills you'll gain: Selenium (Software), Test Script Development, Test Automation, Browser Compatibility, Java Programming, Software Testing, Javascript, Eclipse (Software), Apache Maven, Development Environment, Object Oriented Programming (OOP), Cascading Style Sheets (CSS), Hypertext Markup Language (HTML), Software Installation, System Configuration

    Intermediate · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    N

    National Taiwan University

    Operations Research (4): Capstone Project

    Skills you'll gain: Report Writing, Operations Research, Applied Mathematics, Mathematical Modeling, Algorithms, Industrial Engineering, Business Modeling, Process Optimization, Engineering Calculations, Feasibility Studies, Project Design, Engineering Management, Business Operations, Computational Thinking, Data Visualization, Complex Problem Solving, Decision Making, Performance Metric, Business Analytics

    Advanced · Course · 1 - 4 Weeks

1…468469470…588

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

  • No-Code Machine Learning and Data Science for Everyone: LearnQuest
  • Assessing Health Program Delivery: Johns Hopkins University
  • Eine Einführung in die Finite Elemente Methode mit SimScale: Coursera
  • Mastering Machine Learning Algorithms using Python: Packt
  • Advanced UX Strategies for Product Managers: Coursera
  • Embedding Models: From Architecture to Implementation: DeepLearning.AI
  • MLOps in R: Deploying machine learning models using vetiver: Coursera
  • Supervised Learning Regression Classification Clustering: Simplilearn
  • Machine/Deep Learning for Mining Quality Prediction-Enhanced: Coursera
  • Coding Data Models with AI: University of Virginia

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