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

    University of Michigan

    Data Collection: Online, Telephone and Face-to-face

    Skills you'll gain: Surveys, Interviewing Skills, Data Collection, Sampling (Statistics), Unstructured Data, Research Methodologies, Qualitative Research, Data Validation, Data Quality, Text Mining

    4.6
    Rating, 4.6 out of 5 stars
    ·
    353 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Machine Learning and AI Applications in Healthcare

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Responsible AI, Power BI, Microsoft Azure, Image Analysis, Data Visualization Software, Machine Learning, Medical Imaging, Clinical Research, Predictive Analytics, Azure Synapse Analytics, Model Evaluation, Health Informatics, Artificial Intelligence, AI Security, Applied Machine Learning, Data Preprocessing, Computer Vision, Feature Engineering

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Managing Cybersecurity

    Skills you'll gain: Network Security, Incident Response, Network Administration, Vulnerability Management, Cybersecurity, Contingency Planning, Cyber Governance, Cyber Attacks, Disaster Recovery, Cyber Security Policies, Security Management, Firewall, Computer Security Incident Management, Network Monitoring, General Networking, Cyber Security Strategy, Crisis Management, Vulnerability Assessments, Cyber Risk, Risk Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.4K reviews

    Beginner · Specialization · 3 - 6 Months

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

    Packt

    Networking Basics and TCP/IP Fundamentals

    Skills you'll gain: Network Architecture, Routing Protocols

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    Análisis de Datos de Google

    Skills you'll gain: Data Storytelling, Presentations, Rmarkdown, Data Presentation, Data Cleansing, Data Visualization, Ggplot2, Data Validation, Spreadsheet Software, Data Visualization Software, Data Ethics, Data Analysis, Data-Driven Decision-Making, Tableau Software, Data Literacy, Data Processing, Dashboard, Business Analysis, Stakeholder Communications, Databases

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12K reviews

    Beginner · Professional Certificate · 3 - 6 Months

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

    Edureka

    Analytics Engineering with dbt

    Skills you'll gain: Data Storytelling, SQL, Data Engineering, Data Presentation, Key Performance Indicators (KPIs), Star Schema, Dashboard, Data Modeling, Data Quality, Business Analytics, Database Design, Data Mart, Business Intelligence, Data Validation, Analytics, YAML, Data Pipelines, Data Transformation, Performance Tuning, Analysis

    Intermediate · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universidad Austral

    Excel aplicado a los negocios (Nivel Avanzado)

    Skills you'll gain: Excel Macros, Microsoft Excel, Excel Formulas, Spreadsheet Software, Data Analysis Expressions (DAX), Process Optimization, Strategic Thinking, Data Import/Export, Business Analysis, Business Analytics, Data Validation, Business Modeling, Data Analysis Software, Data Integration, Automation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    3K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Automate, Enhance, and No-Code Apps

    Skills you'll gain: No-Code Development, Workflow Management, Business Process Modeling, Process Mapping, Business Process, Data Integration

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to Deep Learning & Neural Networks with Keras

    Skills you'll gain: Keras (Neural Network Library), Deep Learning, Transfer Learning, Artificial Neural Networks, Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Machine Learning Methods, Image Analysis, Autoencoders, Classification And Regression Tree (CART), Regression Analysis, Network Architecture, Natural Language Processing, Machine Learning, Model Evaluation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    2.1K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Analyze Jira: Find Your Open Work

    Skills you'll gain: Prioritization, Jira (Software), Organizational Skills, Decision Making, Backlogs, Project Management Software, Timelines, Dashboard, Query Languages, Project Management, Resource Management

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Influencing: Storytelling, Change Management and Governance

    Skills you'll gain: Risk Management Framework, Persuasive Communication, Storytelling, Influencing, Governance, Risk Management, Change Management, Organizational Change, Communication, Conflict Management, Leadership, Business Transformation, Risk Analysis, Negotiation, Operational Risk, Business Risk Management, Risk Mitigation, Intercultural Competence, Stakeholder Management, Process Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    4.6K reviews

    Beginner · Specialization · 3 - 6 Months

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

    EDUCBA

    Master AI & AWS Cloud Skills: Analyze, Build, Deploy

    Skills you'll gain: AWS SageMaker, Responsible AI, Artificial Intelligence, Machine Learning, Prompt Engineering, Amazon Web Services, Model Deployment, Supervised Learning, Computer Vision, Image Analysis, Model Evaluation, Unsupervised Learning, Data Preprocessing, Natural Language Processing, Deep Learning, Reinforcement Learning

    Beginner · Course · 1 - 4 Weeks

1…727374…567

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

  • Data Collection: Online, Telephone and Face-to-face: University of Michigan
  • Machine Learning and AI Applications in Healthcare: Microsoft
  • Managing Cybersecurity: Kennesaw State University
  • Networking Basics and TCP/IP Fundamentals: Packt
  • Análisis de Datos de Google: Google
  • Analytics Engineering with dbt: Edureka
  • Excel aplicado a los negocios (Nivel Avanzado): Universidad Austral
  • Automate, Enhance, and No-Code Apps: Coursera
  • Introduction to Deep Learning & Neural Networks with Keras: IBM
  • Analyze Jira: Find Your Open Work: Coursera

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