• 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: Preview
    Preview
    S

    Sungkyunkwan University

    Using R for Regression and Machine Learning in Investment

    Skills you'll gain: Regression Analysis, Predictive Analytics, Predictive Modeling, Investment Management, Risk Analysis, Investments, R Programming, Machine Learning, Statistical Analysis, Financial Analysis, Logistic Regression, Financial Data, Algorithms

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Running Distributed TensorFlow using Vertex AI

    Skills you'll gain: Tensorflow, Google Cloud Platform, Model Deployment, Image Analysis, Cloud Deployment, MLOps (Machine Learning Operations), Cloud Computing, Distributed Computing

    Intermediate · Project · Less Than 2 Hours

  • Status: Preview
    Preview
    N

    Northeastern University

    Understanding & Influencing Workplace Behavior

    Skills you'll gain: Organizational Change, Change Management, Organizational Leadership, Business Leadership, Organizational Development, Team Leadership, Leadership, Communication Strategies, Organizational Effectiveness, Organizational Structure, Strategic Leadership, Cross-Functional Team Leadership, Team Management, Influencing, Empowerment, Culture, Innovation, Decision Making

    4.9
    Rating, 4.9 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • 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

  • P

    Packt

    HashiCorp Certified - Vault Associate Course

    Skills you'll gain: Authentications, Data Security, Cloud Security, Application Security, Key Management, Encryption, Software Installation, Role-Based Access Control (RBAC), Identity and Access Management, System Configuration, Command-Line Interface, Application Programming Interface (API)

    Intermediate · 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
    N

    Northeastern University

    Intro to Managing Ethics in the Workplace & Marketplace

    Skills you'll gain: Healthcare Ethics, Business Ethics, Ethical Standards And Conduct, Health Care Administration, Patient Safety, Decision Making, Risk Management, Critical Thinking, Conflict Management, Organizational Strategy, Business Strategy, Analysis

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    AI-Augmented Decision-Making for Business Leaders

    Skills you'll gain: AI Enablement, Business Leadership, Data Ethics, Strategic Decision-Making, Responsible AI, Predictive Analytics, Advanced Analytics, Business Strategy, Leadership, Business Intelligence, Risk Analysis, Artificial Intelligence, Data Storytelling, Business Ethics, Decision Making, Technical Communication, Culture Transformation, Data Literacy, Strategic Planning, Communication

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Build, Train and Deploy ML Models with Keras on Google Cloud - 日本語版

    Skills you'll gain: Tensorflow, Model Deployment, Keras (Neural Network Library), Data Pipelines, Google Cloud Platform, Deep Learning, Data Preprocessing, Applied Machine Learning, Scalability, Artificial Neural Networks, Data Transformation

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    D

    Duke University

    Telehealth: Cardiopulmonary Assessment

    Skills you'll gain: Telehealth, Patient Education And Counseling, Medical Telemetry, Health Technology, Clinical Assessment, Health Informatics, Patient Observation, Pulmonology, Health Care, Cardiology, Telecommunications

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    Northeastern University

    Introduction to Domain Models

    Skills you'll gain: Systems Thinking, Software Visualization, Object Oriented Design, Case Studies, Data Modeling, Software Engineering, Object Oriented Programming (OOP), Software Design, Program Development, Systems Design, Business Modeling, System Design and Implementation, Complex Problem Solving

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Feature Engineering en Français

    Skills you'll gain: Feature Engineering, Data Preprocessing, Tensorflow, MLOps (Machine Learning Operations), Data Store, Data Transformation, Keras (Neural Network Library), Data Pipelines, Machine Learning, Data Modeling, Statistical Methods

    Intermediate · Course · 1 - 3 Months

1…456457458…588

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

  • Using R for Regression and Machine Learning in Investment: Sungkyunkwan University
  • Running Distributed TensorFlow using Vertex AI: Google Cloud
  • Understanding & Influencing Workplace Behavior: Northeastern University
  • AI-Powered Decision Intelligence: Edureka
  • HashiCorp Certified - Vault Associate Course: Packt
  • Jetson Nano Starter to Pro - A Computer Vision Course: Packt
  • Intro to Managing Ethics in the Workplace & Marketplace: Northeastern University
  • AI-Augmented Decision-Making for Business Leaders: Coursera
  • Build, Train and Deploy ML Models with Keras on Google Cloud - 日本語版: Google Cloud
  • Telehealth: Cardiopulmonary Assessment: Duke University

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