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

    Packt

    Introduction to Ethical Hacking and Recon Techniques

    Skills you'll gain: MITRE ATT&CK Framework, Threat Modeling, Cyber Threat Intelligence, Penetration Testing, Threat Management, Threat Detection, Cybersecurity, Vulnerability Scanning, Cyber Attacks, Data Ethics, Vulnerability Assessments, Security Strategy, Network Security, Network Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Implementation of GenAI Agents

    Skills you'll gain: Generative AI Agents, LangChain, AI Workflows, LLM Application, Agentic systems, Development Environment, Model Evaluation, OpenAI, Artificial Intelligence, Scalability, Applied Machine Learning, Performance Tuning, Design

    4.5
    Rating, 4.5 out of 5 stars
    ·
    55 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Problem-Solving

    Skills you'll gain: Problem Solving, Critical Thinking and Problem Solving, Creative Problem-Solving, Brainstorming, Root Cause Analysis, Analytical Skills, Decision Making, Data Collection, Stakeholder Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    66 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Human Capital: Strategic HR and Managing Talent

    Skills you'll gain: Human Capital, Human Resource Strategy, Change Management, Talent Management, Organizational Strategy, HR Tech, Crisis Management, Talent Acquisition, Workforce Development, Team Management, Leadership Development, People Analytics, Leadership, Cultural Diversity, Mentorship

    4.8
    Rating, 4.8 out of 5 stars
    ·
    39 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Generative AI for Data Science with Copilot

    Skills you'll gain: Generative AI, Microsoft Copilot, Generative Adversarial Networks (GANs), Responsible AI, Data Ethics, Autoencoders, Data Security, Information Privacy, Anomaly Detection, Model Evaluation, Data Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    36 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Responsible AI for Developers: Fairness & Bias

    Skills you'll gain: Responsible AI, Data Ethics, AI Security, Artificial Intelligence and Machine Learning (AI/ML), Ethical Standards And Conduct, Model Evaluation, Human Centered Design, Data Quality

    4.7
    Rating, 4.7 out of 5 stars
    ·
    18 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    SkillUp

    Power BI Data Analyst Associate Prep

    Skills you'll gain: Data Analysis Expressions (DAX), Dashboard, Power BI, Data Visualization, Data Transformation, Data Manipulation, Data Modeling, Data Import/Export, Data Visualization Software, Extract, Transform, Load, Data Analysis, Analytics, Data Cleansing, Performance Analysis, Data Security, Data Management

    4.2
    Rating, 4.2 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    Equitable Stage Makeup and Hair

    Skills you'll gain: Color Theory, Performing Arts, Design, Storytelling, Diversity Awareness, Cultural Sensitivity, Detail Oriented, Creativity

    4.3
    Rating, 4.3 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Deploying Windows Clients & Managing Identities

    Skills you'll gain: Microsoft Windows, Authentications, Operating System Administration, Azure Active Directory, Microsoft Intune (Mobile Device Management Software), Windows PowerShell, Identity and Access Management, System Configuration, User Provisioning, Patch Management, Active Directory, Desktop Support, Remote Access Systems, Single Sign-On (SSO), Application Deployment, Cloud Deployment, Software Installation, Role-Based Access Control (RBAC), Technical Support and Services, Automation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Principles of Leadership: Leading Technical Organizations

    Skills you'll gain: Accountability, Executive Presence, Decision Making, Conflict Management, Business Ethics, Succession Planning, Technical Management, Risk Management, Team Management, Organizational Structure, Stakeholder Management, Diversity and Inclusion, Delegation Skills, Professional Networking, Strategic Leadership, Relationship Building, Culture Transformation, Business Strategy, Organizational Leadership, Leadership

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    34 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Using Sensors With Your Raspberry Pi

    Skills you'll gain: Electronics, Systems Of Measurement, Digital Signal Processing, Data Processing, Data Cleansing, Statistical Methods, NumPy, Real Time Data, Open Source Technology, Mathematical Modeling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Capstone Project: Applying Business Analysis Skills

    Skills you'll gain: Risk Mitigation, Business Process Modeling, Stakeholder Analysis, Risk Analysis, Project Scoping, Stakeholder Management, Process Flow Diagrams, Risk Management, Work Breakdown Structure, Stakeholder Engagement, Scope Management, Business Requirements, Presentations, Requirements Elicitation, Business Analysis, Looker (Software), Requirements Analysis, Project Management, Process Optimization, Data Analysis Software

    4.4
    Rating, 4.4 out of 5 stars
    ·
    20 reviews

    Advanced · Course · 1 - 3 Months

1…309310311…581

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

  • Introduction to Ethical Hacking and Recon Techniques: Packt
  • Implementation of GenAI Agents: Coursera
  • Problem-Solving: Arizona State University
  • Human Capital: Strategic HR and Managing Talent: University of Michigan
  • Generative AI for Data Science with Copilot: Microsoft
  • Responsible AI for Developers: Fairness & Bias: Google Cloud
  • Power BI Data Analyst Associate Prep: SkillUp
  • Equitable Stage Makeup and Hair: University of Michigan
  • Deploying Windows Clients & Managing Identities: Packt
  • Principles of Leadership: Leading Technical Organizations: University of Colorado Boulder

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