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

    LearnKartS

    Essential Skills for First-Time Managers

    Skills you'll gain: Negotiation, Conflict Management, Teamwork, Workplace inclusivity, Diversity and Inclusion, Stress Management, Emotional Intelligence, Collaboration, Team Management, Communication, Team Leadership, Productivity, Social Skills, Ethical Standards And Conduct, Strategic Prioritization, Workplace Bullying Intervention, Compliance Management, Overcoming Obstacles, Mental Health, Dealing With Ambiguity

    4.8
    Rating, 4.8 out of 5 stars
    ·
    481 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Data Mining Foundations and Practice

    Skills you'll gain: Data Mining, Data Pipelines, Classification Algorithms, Model Evaluation, Data Warehousing, Data Preprocessing, Unsupervised Learning, Data Modeling, Big Data, Data Analysis, Anomaly Detection, Supervised Learning, Data Science, Data Transformation, Decision Tree Learning, Data Quality, Text Mining, Machine Learning Algorithms, Analytical Skills, Unstructured Data

    Build toward a degree

    4.1
    Rating, 4.1 out of 5 stars
    ·
    170 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Human Factors in AI

    Skills you'll gain: Responsible AI, Data Ethics, Human Computer Interaction, User Experience Design, Human Centered Design, Human Factors, AI Product Strategy, Personally Identifiable Information, Information Privacy, General Data Protection Regulation (GDPR), Artificial Intelligence, Design Thinking, Machine Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    194 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Deep Teaching Solutions

    Critical Thinking: A Brain-Based Guide for the ChatGPT Era

    Skills you'll gain: Logical Reasoning, Mental Concentration, Behavioral Economics, Innovation, Social Sciences, Artificial Intelligence, Persuasive Communication, Self-Awareness, Verbal Communication Skills, Scientific Methods

    4.7
    Rating, 4.7 out of 5 stars
    ·
    176 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Rapid Prototyping Using 3D Printing

    Skills you'll gain: Engineering Design Process, Prototyping, Engineering Drawings, Product Design, Product Development, Product Testing, Hardware Design, Research and Design, 3D Modeling, Mockups, Industrial Design, Computer-Aided Design, Usability Testing, Design Specifications, Manufacturing Processes, Cost Estimation, Materials science, Ideation, Mechanical Engineering, User Feedback

    4.6
    Rating, 4.6 out of 5 stars
    ·
    118 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universidad Austral

    Estadística aplicada a los negocios

    Skills you'll gain: Regression Analysis, Statistical Inference, Descriptive Statistics, Risk Analysis, Business Risk Management, Business Analytics, Statistics, Sampling (Statistics), Microsoft Excel, Data Analysis, Probability, Statistical Analysis, Data-Driven Decision-Making, Probability Distribution, Statistical Modeling, Data Science

    4.6
    Rating, 4.6 out of 5 stars
    ·
    772 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    High Stakes Leadership: Leading in Times of Crisis

    Skills you'll gain: Crisis Management, Leadership, Strategic Communication, Resilience, Organizational Leadership, Stakeholder Management, Business Continuity, Organizational Change, Dealing With Ambiguity, Proactivity, Communication Strategies, Business Risk Management, Adaptability, Change Management, Communication

    4.7
    Rating, 4.7 out of 5 stars
    ·
    444 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Columbia University

    First Principles of Computer Vision

    Skills you'll gain: Computer Vision, Image Quality, Image Analysis, Computer Graphics, 3D Modeling, Photography, Virtual Reality, Visualization (Computer Graphics), Medical Imaging, Artificial Neural Networks, Unsupervised Learning, Graph Theory, Dimensionality Reduction, Mathematical Modeling, Estimation, Machine Learning Algorithms, Color Theory, Algorithms, Automation Engineering, Electronic Components

    4.7
    Rating, 4.7 out of 5 stars
    ·
    236 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Materials Science for Technological Application

    Skills you'll gain: Materials science, Failure Analysis, Semiconductors, Manufacturing Processes, Structural Analysis, Mechanical Engineering, Chemical Engineering, Chemistry, Thermal Management, Engineering, Laboratory Testing, Physical Science, Physics, Process Engineering, Engineering Analysis, Engineering Calculations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    274 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Copenhagen

    Origins - Formation of the Universe, Solar System, Earth and Life

    Skills you'll gain: Anthropology, Biology, Physical Science, World History, Microbiology, Environment, Ancient History, Biochemistry, Environmental Science, Climate Change Adaptation, Taxonomy, Chemistry, Scientific Methods

    4.7
    Rating, 4.7 out of 5 stars
    ·
    643 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Sampling People, Networks and Records

    Skills you'll gain: Sampling (Statistics), Sample Size Determination, Data Collection, Surveys, Quantitative Research, Statistical Methods, Statistical Analysis, Statistical Software, Probability & Statistics, Probability, Network Analysis, Research Design

    4.3
    Rating, 4.3 out of 5 stars
    ·
    106 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Firm Level Economics: Markets and Allocations

    Skills you'll gain: Supply And Demand, Market Dynamics, Economics, Game Theory, Market Analysis, Business Economics, Market Share, Consumer Behaviour, Operational Efficiency, Financial Regulations, Resource Allocation, Strategic Decision-Making

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

    Intermediate · Course · 1 - 4 Weeks

1…155156157…569

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

  • Essential Skills for First-Time Managers: LearnKartS
  • Data Mining Foundations and Practice: University of Colorado Boulder
  • Human Factors in AI: Duke University
  • Critical Thinking: A Brain-Based Guide for the ChatGPT Era: Deep Teaching Solutions
  • Rapid Prototyping Using 3D Printing: Arizona State University
  • Estadística aplicada a los negocios: Universidad Austral
  • High Stakes Leadership: Leading in Times of Crisis: University of Michigan
  • First Principles of Computer Vision: Columbia University
  • Materials Science for Technological Application: Arizona State University
  • Origins - Formation of the Universe, Solar System, Earth and Life: University of Copenhagen

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