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


  • 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: New
    New
    Status: Preview
    Preview
    W

    Workday

    Workday Student for Business Users

    Skills you'll gain: People Analytics, Workday (Software), Registration, Business Process, Business Reporting, Data Maintenance, Data Entry, Organizational Structure, Information Management, Business Analytics, No-Code Development, Enterprise Resource Planning, Data Visualization, Payment Processing and Collection

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    B

    Birla Institute of Technology & Science, Pilani

    Algorithm Design: Mastering Computational Problem Solving

    Skills you'll gain: Computer Science, Machine Learning Algorithms, Solution Design, Problem Solving, Mathematical Theory & Analysis

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    Automation Framework Design Using TestNG

    Skills you'll gain: JUnit, Test Automation, Selenium (Software), Test Case, Software Testing, Test Execution Engine, Test Data, Apache Maven, Automation, Application Frameworks, Software Design Patterns, Java, Maintainability, Extensible Markup Language (XML)

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    System Administration with IBM AIX: Beyond the Basics

    Skills you'll gain: Job Control Language (JCL), Unix, Package and Software Management, Systems Administration, TCP/IP, Operating System Administration, Disaster Recovery, System Software, Operating Systems, Data Storage, Software Installation, Debugging, System Configuration, Network Administration

    4.8
    Rating, 4.8 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Data Connection and Functionalities in Power BI

    Skills you'll gain: Relational Databases, Database Design, Transact-SQL, Data Visualization, Microsoft SQL Servers, Power BI, Databases, Database Management, Data Visualization Software, SQL, Data Preprocessing, Data Analysis Expressions (DAX), Data Management, Data Integrity, Data Modeling, Data Access, Data Manipulation, Data Transformation, Data Import/Export

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    UBITS

    Mejora tu salud física y mental con técnicas psicocorporales

    Skills you'll gain: Stress Management, Mindfulness, Personal Care, Pain Management, Mental Health, Resilience, Behavioral Health, Self-Awareness, Exercise Therapy, Neurology, Physiology, Anatomy

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Pearson

    Full-Stack React with Spring Boot: Unit 4

    Skills you'll gain: React.js, Full-Stack Web Development, JavaScript Frameworks, Restful API, Front-End Web Development, Back-End Web Development, Spring Boot, Web Applications, User Interface (UI), UI Components, Application Programming Interface (API), Data Persistence

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    Python: Logistic Regression & Supervised ML

    Skills you'll gain: Model Evaluation, Feature Engineering, Supervised Learning, Exploratory Data Analysis, Classification Algorithms, Machine Learning Algorithms, Applied Machine Learning, Decision Tree Learning, Logistic Regression, Predictive Modeling, Data Analysis, Scikit Learn (Machine Learning Library), Data Preprocessing, Pandas (Python Package), NumPy, Data Cleansing

    4.4
    Rating, 4.4 out of 5 stars
    ·
    17 reviews

    Mixed · Course · 1 - 4 Weeks

1…487488489…587

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

  • 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
  • Workday Student for Business Users: Workday
  • Algorithm Design: Mastering Computational Problem Solving: Birla Institute of Technology & Science, Pilani
  • Automation Framework Design Using TestNG: Packt
  • System Administration with IBM AIX: Beyond the Basics: IBM
  • Data Connection and Functionalities in Power BI: Edureka
  • Mejora tu salud física y mental con técnicas psicocorporales: UBITS

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