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

    SkillUp

    Foundations of AI in Healthcare

    Skills you'll gain: Clinical Informatics, Clinical Research, Artificial Intelligence, MLOps (Machine Learning Operations), Health Informatics, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Data Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Kaizen Event: Become a Certified Kaizen Event Specialist

    Skills you'll gain: Process Analysis, Kaizen Methodology, Solution Delivery, Process Improvement, Continuous Improvement Process, Business Process Improvement, Performance Improvement, Team Building, Team Management, Event Planning, Event Management, Root Cause Analysis, Cross-Functional Collaboration, Goal Setting

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Chatbots

    Skills you'll gain: Amazon Web Services, Tensorflow, Applied Machine Learning, Machine Learning Methods, Natural Language Processing, Classification Algorithms, Software Design, Application Development, Supervised Learning, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    M

    Microsoft

    Generative AI for Data Science

    Skills you'll gain: Generative AI, Large Language Modeling, Data Ethics, Transfer Learning, Prompt Engineering, Responsible AI, Feature Engineering, Model Deployment, AI Security, Advertising, Marketing, Information Privacy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Splunk Inc.

    Splunk Knowledge Manager 102

    Skills you'll gain: Database Design, Data Modeling, Splunk, Pivot Tables And Charts, Data Management, Data Manipulation, Query Languages, Performance Tuning, Data Science, Data Analysis, Big Data, Business Intelligence, Data Import/Export, Business Analytics, Geospatial Information and Technology

    4.9
    Rating, 4.9 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    W

    Workday

    Workday Payroll for Business Users

    Skills you'll gain: Workday (Software), Payroll Processing, Payroll, Payroll Systems, Payroll Administration, Benefits Enrollment Processes, Benefits Administration, Human Resources Software, Business Reporting, Workflow Management, Ad Hoc Reporting, Business Process, Compensation and Benefits, Organizational Structure, Data Entry, Staff Management, Data Maintenance

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Create a services customer satisfaction process

    Skills you'll gain: Customer Service, Customer experience strategy (CX), Customer Analysis, Process Mapping, Customer Insights, Process Design, Customer Support, Cross-Channel Marketing, Marketing Operations, Business Process, Web Analytics, Marketing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    42 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Smart Analytics, Machine Learning, and AI on GCP en Español

    Skills you'll gain: Google Cloud Platform, Model Deployment, MLOps (Machine Learning Operations), Tensorflow, Data Pipelines, Machine Learning, Unstructured Data, Predictive Modeling, Artificial Intelligence, Natural Language Processing

    4.7
    Rating, 4.7 out of 5 stars
    ·
    47 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    القيادة

    Skills you'll gain: Team Motivation, Business Ethics, Emotional Intelligence, Empathy & Emotional Intelligence, Leadership and Management, Business Leadership, Decision Making, Waterfall Methodology, Leadership, Self-Motivation, Organizational Leadership, Communication, Project Management Life Cycle, Project Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    26 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Infosec

    Laravel Protections

    Skills you'll gain: Distributed Denial-Of-Service (DDoS) Attacks, Secure Coding, Application Security, Encryption, Security Controls, Data Security, Database Application, Web Servers, Web Applications, Cryptography, Data Encryption Standard, Authentications, Query Languages, Data Validation, Computer Programming

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    AI for Lawyers: Time and Tasks

    Skills you'll gain: Delegation Skills, Time Management, AI Enablement, Legal Technology, Legal Strategy, Artificial Intelligence, Legal Writing, Generative AI, Ethical Standards And Conduct, Automation, Decision Making, Creativity

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universitat Autònoma de Barcelona

    Guidance processes in Vocational Education and Training

    Skills you'll gain: Student Support and Services, Academic Advising, Education and Training, Needs Assessment, Student Engagement, Adult Education, Mentorship, Lifelong Learning, Curriculum Development, Personal Development

    Beginner · Course · 1 - 3 Months

1…410411412…584

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

  • Foundations of AI in Healthcare: SkillUp
  • Kaizen Event: Become a Certified Kaizen Event Specialist: Packt
  • Chatbots: Johns Hopkins University
  • Generative AI for Data Science: Microsoft
  • Splunk Knowledge Manager 102: Splunk Inc.
  • Workday Payroll for Business Users: Workday
  • Create a services customer satisfaction process: Coursera
  • Smart Analytics, Machine Learning, and AI on GCP en Español: Google Cloud
  • القيادة : University of Illinois Urbana-Champaign
  • Laravel Protections: Infosec

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