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

    University of Huddersfield

    Leadership in Practice & Team Management

    Skills you'll gain: Performance Appraisal, Employee Performance Management, Performance Management, Team Motivation, People Management, Team Management, Team Leadership, Motivational Skills, Diversity and Inclusion, Organizational Leadership, Workplace inclusivity, Human Resources Management and Planning, Diversity Awareness, Leadership

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    How to Use The IFE-EFE Matrix for Strategic Analysis

    Skills you'll gain: Competitive Analysis, Strategic Thinking, Business Strategy, Strategic Decision-Making, Organizational Strategy, Key Performance Indicators (KPIs), Performance Analysis, Analysis, Internal Auditing, Market Analysis, External Auditing, Market Opportunities, Entrepreneurship, Leadership

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Prácticas interprofesionales para la atención clínica

    Skills you'll gain: Clinical Leadership, Clinical Practices, Health Care Administration, Continuous Quality Improvement (CQI), Patient Safety, Clinical Research, Patient-centered Care, Scientific Methods, Health Systems, Education and Training, Empathy & Emotional Intelligence

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Engaged: Behavioral Science for Digital Product Design

    Skills you'll gain: Decision Making, Driving engagement, Behavioral Economics, Human Factors, UI/UX Strategy, User Experience, Persona (User Experience), User Centered Design, User Experience Design, Usability Testing, Psychology, Experimentation, Design Strategies, Trustworthiness, Motivational Skills, Social Skills, Behavioral Management, Product Management, Ethical Standards And Conduct, Digital Marketing

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    Bipedalism: The Science of Upright Walking

    Skills you'll gain: Kinesiology, Human Musculoskeletal System, Scientific Methods, Exercise Science, Anthropology, Biology, Anatomy, 3D Assets, Research, Mechanics, Physiology, Laboratory Research, Human Development, Child Development, Visualization (Computer Graphics), Life Sciences, Spatial Data Analysis, Orthopedics, Scientific Visualization, Timelines

    4.6
    Rating, 4.6 out of 5 stars
    ·
    8 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    B

    Board Infinity

    AI Development with DeepSeek for Developers

    Skills you'll gain: Deepseek, DeepSeek API, LangChain, LLM Application, Generative AI Agents, Model Evaluation, Application Programming Interface (API), Text Mining

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Skeletal Meshes and Animation

    Skills you'll gain: Unreal Engine, Animations, 3D Assets, Game Design, Video Game Development

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    IntelliJ IDEA Case Study - Blood Donor Management System

    Skills you'll gain: IntelliJ IDEA, Debugging, Software Design, User Interface (UI), Integrated Development Environments, Java, Program Development, Application Design, Object Oriented Programming (OOP), User Interface (UI) Design, Data Validation, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    22 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    I

    Imperial College London

    TensorFlow 2 시작하기

    Skills you'll gain: Keras (Neural Network Library), Tensorflow, Model Evaluation, Deep Learning, Convolutional Neural Networks, Transfer Learning, Data Preprocessing, Artificial Neural Networks, Computer Vision

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Segmenting the Market with Jagdish Sheth

    Skills you'll gain: Target Market, Strategic Marketing, Product Marketing, Marketing Strategy and Techniques, Product Strategy, Market Research, Growth Strategies, Market Analysis, Marketing Psychology, Revenue Management, Promotional Strategies, Competitive Analysis, Consumer Behaviour

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Unreal Engine 5 - The Intermediate Course

    Skills you'll gain: Unreal Engine, Data Structures, 3D Assets, Game Design, 3D Modeling, Virtual Environment, Data Store, Video Game Development, Animation and Game Design, Visualization (Computer Graphics), Data Management, Object Oriented Programming (OOP), Scripting, Scalability, Event-Driven Programming, Software Design, Debugging, Performance Tuning

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Pearson

    Certified Ethical Hacker (CEH): Unit 8

    Skills you'll gain: AI Security, Threat Modeling, Threat Management, MITRE ATT&CK Framework, LangChain, Threat Detection, Responsible AI, Large Language Modeling, Continuous Monitoring, Event Monitoring, Security Testing, Generative AI, Embeddings, System Monitoring, LangGraph, Prompt Engineering, Vector Databases

    Intermediate · Course · 1 - 4 Weeks

1…491492493…587

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

  • Leadership in Practice & Team Management: University of Huddersfield
  • How to Use The IFE-EFE Matrix for Strategic Analysis: Coursera
  • Prácticas interprofesionales para la atención clínica: Tecnológico de Monterrey
  • Engaged: Behavioral Science for Digital Product Design: Packt
  • Bipedalism: The Science of Upright Walking: Dartmouth College
  • AI Development with DeepSeek for Developers: Board Infinity
  • Skeletal Meshes and Animation: Packt
  • IntelliJ IDEA Case Study - Blood Donor Management System: EDUCBA
  • TensorFlow 2 시작하기: Imperial College London
  • Segmenting the Market with Jagdish Sheth: Kennesaw State 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