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

    Universidad de los Andes

    Introducción a la inteligencia artificial contemporánea

    Skills you'll gain: Artificial Intelligence, Image Analysis, Reinforcement Learning, Computer Vision, Machine Learning, Semantic Web, Natural Language Processing, Embedded Systems, Data Ethics, Supervised Learning, Deep Learning, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    314 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    AI and Machine Learning Algorithms and Techniques

    Skills you'll gain: Unsupervised Learning, Generative AI, Large Language Modeling, Supervised Learning, Deep Learning, LLM Application, Applied Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Reinforcement Learning, Predictive Modeling, Machine Learning Algorithms, Artificial Neural Networks, Feature Engineering, Model Evaluation, Convolutional Neural Networks, Data Preprocessing, Dimensionality Reduction

    4.7
    Rating, 4.7 out of 5 stars
    ·
    59 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Introduction to Test and Behavior Driven Development

    Skills you'll gain: Test Driven Development (TDD), Software Testing, Behavior-Driven Development, Code Coverage, Test Tools, Test Automation, Unit Testing, Test Data, Integration Testing, Test Case, Verification And Validation, Mockups

    4.8
    Rating, 4.8 out of 5 stars
    ·
    240 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    An Introduction to Learning Experience Design (LXD)

    Skills you'll gain: Course Development, Instructional Design, Learning Theory, Design, Education Software and Technology, Professional Development, Brainstorming, Needs Assessment, Motivational Skills, Diversity Equity and Inclusion Initiatives, User Centered Design, Prototyping, Creative Thinking, Student-Centred Learning, Analysis, Communication, Emerging Technologies

    4.8
    Rating, 4.8 out of 5 stars
    ·
    115 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Everyday Excel, Part 2

    Skills you'll gain: Regression Analysis, Microsoft Excel, Statistical Modeling, Excel Formulas, Financial Analysis, Predictive Modeling, Data Management, Financial Modeling, Data Analysis Expressions (DAX), Financial Forecasting, Process Optimization, Problem Solving

    4.7
    Rating, 4.7 out of 5 stars
    ·
    571 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Additive Manufacturing

    Skills you'll gain: Manufacturing Processes, Schematic Diagrams, Engineering Design Process, Computer-Aided Design, Production Process, 3D Assets, Materials science, Design Strategies, Prototyping, Mechanical Engineering, Process Engineering, 3D Modeling, Manufacturing Operations, Design, Equipment Design, Experimentation, Laboratory Experience, Manufacturing and Production, Systems Of Measurement, Process Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    204 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    L

    LearnKartS

    Campus to Corporate Training Program

    Skills you'll gain: Teamwork, Active Listening, Problem Solving, Emotional Intelligence, Collaboration, Verbal Communication Skills, Growth Mindedness, Team Leadership, Productivity, Personal Integrity, Workplace Bullying Intervention, Compliance Management, Information Privacy, Security Controls, Overcoming Obstacles, Accountability, Communication, Mental Health, Diversity Awareness, Diversity and Inclusion

    4.7
    Rating, 4.7 out of 5 stars
    ·
    431 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    JavaScript for Beginners

    Skills you'll gain: jQuery, Javascript and jQuery, Javascript, Data Validation, UI Components, HTML and CSS, Scripting, Data Integration, Data Manipulation, Scripting Languages, JSON, Ajax, Event-Driven Programming, Web Design and Development, Cascading Style Sheets (CSS), Web Development Tools, Game Design, Hypertext Markup Language (HTML), Object Oriented Programming (OOP), Animations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    1.1K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Operations and Process Management

    Skills you'll gain: Process Improvement, Process Management, Business Process, Business Process Management, Process Analysis, Business Process Improvement, Performance Improvement, Quality Improvement, Continuous Improvement Process, Process Mapping, Quality Management, Operational Excellence, Return On Investment, Change Management, Performance Measurement, Risk Management, Business Technologies, Project Management, Pareto Chart, Key Performance Indicators (KPIs)

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    189 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    The University of Tokyo

    Global Health Policy

    Skills you'll gain: Epidemiology, Gerontology, Public Health, Infectious Diseases, Health Policy, Health Equity, Health Systems, Health Care, Governance, Long Term Care, Chronic Diseases, Demography

    4.7
    Rating, 4.7 out of 5 stars
    ·
    292 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Fundamentos Empresariales

    Skills you'll gain: Operations Management, Balance Sheet, Process Analysis, Business Operations, Operational Efficiency, Financial Statement Analysis, Financial Statements, Finance, Financial Accounting, Production Process, Operational Performance Management, Capital Budgeting, Business Process Improvement, Branding, Financial Modeling, Strategic Marketing, Marketing, Analysis, Case Studies, Business Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    446 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Distributed Programming in Java

    Skills you'll gain: Apache Kafka, Apache Spark, Apache Hadoop, Distributed Computing, Java, Software Architecture, Systems Architecture, Programming Principles, Scala Programming, Servers, Algorithms

    4.6
    Rating, 4.6 out of 5 stars
    ·
    505 reviews

    Intermediate · Course · 1 - 3 Months

1…147148149…569

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

  • Introducción a la inteligencia artificial contemporánea: Universidad de los Andes
  • AI and Machine Learning Algorithms and Techniques: Microsoft
  • Introduction to Test and Behavior Driven Development: IBM
  • An Introduction to Learning Experience Design (LXD): University of Michigan
  • Everyday Excel, Part 2: University of Colorado Boulder
  • Additive Manufacturing: Arizona State University
  • Campus to Corporate Training Program: LearnKartS
  • JavaScript for Beginners: University of California, Davis
  • Operations and Process Management: Illinois Tech
  • Global Health Policy: The University of Tokyo

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