• 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

    Modern JavaScript with ES6

    Skills you'll gain: Data Structures, Javascript, Object Oriented Programming (OOP)

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    I

    Institut Mines-Télécom

    La Data Intelligence au service des organisations

    Skills you'll gain: Digital Transformation, Data Management, Data Modeling, Data Strategy, Data Quality, Data Governance, Business Transformation, Business Intelligence, Information Management, Data-Driven Decision-Making, Data Literacy, Data Analysis, Business Modeling, Big Data, Artificial Intelligence, Data Visualization, Business Strategy

    4.1
    Rating, 4.1 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    Agile Masterclass: Agile for Project Management

    Skills you'll gain: Agile Software Development, Agile Project Management, Agile Methodology, Scrum (Software Development), Kanban Principles, Software Development Methodologies, Project Estimation, Sprint Planning, Estimation, Backlogs, Sprint Retrospectives, Project Management, Workflow Management, User Story, Continuous Improvement Process

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    N

    Northeastern University

    Machine Learning for Engineers: Algorithms and Applications

    Skills you'll gain: Model Evaluation, Supervised Learning, Statistical Machine Learning, Machine Learning Algorithms, Unsupervised Learning, PyTorch (Machine Learning Library), Applied Machine Learning, Statistical Methods, Statistical Modeling, Machine Learning, Machine Learning Software, Statistical Analysis, Artificial Intelligence and Machine Learning (AI/ML), Regression Analysis, Classification Algorithms, Algorithms, Predictive Modeling, Dimensionality Reduction, Complex Problem Solving

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    B

    Birla Institute of Technology & Science, Pilani

    Graphs and Networks

    Skills you'll gain: Graph Theory, Network Analysis, Social Network Analysis, Combinatorics, Network Model, Mathematical Modeling, Data Structures, Transportation Operations, Image Analysis, Algorithms, Theoretical Computer Science, Artificial Intelligence and Machine Learning (AI/ML), Computational Thinking, Problem Solving

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    A

    Arm

    Optimizing Generative AI on Arm Processors

    Skills you'll gain: Generative AI, Model Deployment, Large Language Modeling, Transfer Learning, Artificial Intelligence and Machine Learning (AI/ML), PyTorch (Machine Learning Library), Cloud Deployment, Performance Tuning, Hardware Architecture, Deep Learning, Embedded Systems, Computer Hardware, Scalability

    Intermediate · Course · 1 - 4 Weeks

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

    Northeastern University

    Data Management for Analytics Part 1

    Skills you'll gain: Database Design, Database Theory, Data Modeling, Database Management Systems, Metadata Management, Databases, Data Management, Relational Databases, Unified Modeling Language, Data Governance, Enterprise Modeling, Data Integrity, Data Quality

    Build toward a degree

    Mixed · Course · 1 - 3 Months

1…485486487…587

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

  • Modern JavaScript with ES6: Packt
  • La Data Intelligence au service des organisations: Institut Mines-Télécom
  • Agile Masterclass: Agile for Project Management: Packt
  • Machine Learning for Engineers: Algorithms and Applications: Northeastern University
  • Graphs and Networks: Birla Institute of Technology & Science, Pilani
  • Optimizing Generative AI on Arm Processors: Arm
  • 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

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