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

    Edureka

    Industrial Cybersecurity

    Skills you'll gain: Cyber Security Assessment, Malware Protection, Automation, Human Machine Interfaces

    4.1
    Rating, 4.1 out of 5 stars
    ·
    37 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Data Transformation in the Cloud

    Skills you'll gain: Data Pipelines, Data Cleansing, Data Governance, Data Transformation, Cloud Security, Data Visualization, Extract, Transform, Load, Data Integration, Data Processing, Data Management, Data Migration, Data Collection, Cloud Computing, Cloud Storage, Data Analysis, SQL

    4.5
    Rating, 4.5 out of 5 stars
    ·
    27 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    U

    Universitat de Barcelona

    THINK GLOBAL: TEACHERS TRAINING COURSE (IDP-ICE)

    Skills you'll gain: Education and Training, Intercultural Competence, Culture, Teaching, Training Programs, Cultural Diversity, Curriculum Planning, Instructional Strategies, Student Engagement, Research, Research Methodologies, International Relations, Student-Centred Learning, Pedagogy, Diversity Awareness, Sustainable Development

    4.7
    Rating, 4.7 out of 5 stars
    ·
    160 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    AAPC

    Insurance Specifics

    Skills you'll gain: Denial Management, Claims Processing, Medical Billing, Insurance Policies, Utilization Management, Billing & Invoicing, Insurance, Medicare, Revenue Cycle Management, Workers Compensation, Medicaid, Healthcare Industry Knowledge, Regulatory Compliance

    4.8
    Rating, 4.8 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 3 Months

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

    EDUCBA

    Lean Six Sigma Green Belt: Apply & Master Skills

    Skills you'll gain: Lean Six Sigma, Lean Methodologies, Statistical Hypothesis Testing, Correlation Analysis, Process Improvement, Sampling (Statistics), Project Management, Data Literacy, Regression Analysis, Process Capability, Goal Setting, Statistical Analysis, Scatter Plots, Customer experience improvement, Quality Management, Microsoft Excel, Process Mapping, Risk Management, Root Cause Analysis

    5
    Rating, 5 out of 5 stars
    ·
    45 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad de los Andes

    Modelos predictivos con aprendizaje automático

    Skills you'll gain: Data Ethics, Predictive Modeling, Supervised Learning, Regression Analysis, Applied Machine Learning, Model Evaluation, Scikit Learn (Machine Learning Library), Machine Learning, Classification Algorithms, Decision Tree Learning, Data Preprocessing, Analytical Skills, Python Programming, Unsupervised Learning, Performance Metric

    4.7
    Rating, 4.7 out of 5 stars
    ·
    78 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Network Traffic Analysis with Wireshark

    Skills you'll gain: Network Monitoring, Intrusion Detection and Prevention, Network Troubleshooting, Network Security, Incident Response, Anomaly Detection, Network Analysis, Digital Forensics, Cyber Security Assessment, Network Protocols, Threat Detection, Technical Communication, Distributed Denial-Of-Service (DDoS) Attacks, Computer Security, Cybersecurity, Vulnerability Assessments

    5
    Rating, 5 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    CertNexus

    Address Business Issues with Data Science

    Skills you'll gain: Project Scoping, Business Priorities, Business Analysis, Case Studies, Stakeholder Management, Project Design, Business, Data Science, Business Process, Data-Driven Decision-Making, Data Literacy

    4.5
    Rating, 4.5 out of 5 stars
    ·
    30 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    Artificial Intelligence for Healthcare

    Skills you'll gain: Healthcare 5.0, Artificial Intelligence, AI Enablement, Jupyter, Healthcare Ethics, Health Informatics, Healthcare Industry Knowledge, LLM Application, Machine Learning, Deep Learning, Machine Learning Software, MLOps (Machine Learning Operations), Generative Model Architectures, Statistical Machine Learning, AI Product Strategy, Model Evaluation, Predictive Modeling, Data-Driven Decision-Making, Data Processing, Data Analysis

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Neural Networks and Random Forests

    Skills you'll gain: Model Evaluation, Random Forest Algorithm, Keras (Neural Network Library), Tensorflow, Deep Learning, Artificial Neural Networks, Decision Tree Learning, Scikit Learn (Machine Learning Library), Machine Learning, Regression Analysis, Classification Algorithms, Python Programming

    3
    Rating, 3 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of London

    إدارة شركات المستقبل

    Skills you'll gain: Team Motivation, Business Modeling, Business Management, Change Management, Business Transformation, Personal Development, Decision Making, Organizational Structure, Profit and Loss (P&L) Management, Goal Setting, Leadership, Coordination, Innovation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    104 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Application Programming Fundamentals

    Skills you'll gain: Software Design Patterns, Object Oriented Programming (OOP), Object Oriented Design, Computational Thinking, Programming Principles, Algorithms, Software Architecture, Computer Programming, Python Programming, Model View Controller, Data Structures

    4.4
    Rating, 4.4 out of 5 stars
    ·
    37 reviews

    Beginner · Course · 1 - 4 Weeks

1…318319320…582

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

  • Industrial Cybersecurity: Edureka
  • Data Transformation in the Cloud: Google Cloud
  • THINK GLOBAL: TEACHERS TRAINING COURSE (IDP-ICE): Universitat de Barcelona
  • Insurance Specifics: AAPC
  • Lean Six Sigma Green Belt: Apply & Master Skills: EDUCBA
  • Modelos predictivos con aprendizaje automático: Universidad de los Andes
  • Network Traffic Analysis with Wireshark: SkillUp
  • Address Business Issues with Data Science : CertNexus
  • Artificial Intelligence for Healthcare: SkillUp
  • Neural Networks and Random Forests: LearnQuest

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