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

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Recommendation Systems on Google Cloud

    Skills you'll gain: Reinforcement Learning, Embeddings, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Applied Machine Learning, Deep Learning, Machine Learning Algorithms, Unsupervised Learning, Google Cloud Platform, Artificial Neural Networks, Feature Engineering, Data Processing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    484 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Administración financiera y su función en la empresa

    Skills you'll gain: Financial Statement Analysis, Financial Management, Corporate Finance, Performance Measurement, Financial Data, Capital Budgeting, Financial Analysis, Budgeting, Financial Modeling, Balance Sheet, Financial Policy, Cash Flows, Stakeholder Management, Governance, Working Capital, Return On Investment

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    Universitat Autònoma de Barcelona

    Diseño y Creación de videojuegos

    Skills you'll gain: 3D Modeling, Video Game Development, Game Design, Unity Engine, 3D Assets, Peer Review, User Interface (UI) Design, Computer Graphics, Animations, User Interface and User Experience (UI/UX) Design, Visualization (Computer Graphics), Software Design Documents, Design, User Interface (UI), Experience Design, Music, Animation and Game Design, Usability, Microsoft Visual Studio, Computer Graphic Techniques

    4.4
    Rating, 4.4 out of 5 stars
    ·
    916 reviews

    Beginner · Specialization · 3 - 6 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
    Free
    J

    Johns Hopkins University

    Systems Thinking In Public Health

    Skills you'll gain: Systems Thinking, Health Systems, Health Policy, Public Health, Policy Analysis, Policy Development, Simulations

    4.6
    Rating, 4.6 out of 5 stars
    ·
    957 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Universidade de São Paulo

    Introdução à Análise Macroeconômica

    Skills you'll gain: Economics, Financial Market, Policy Analysis, Financial Policy, Strategic Decision-Making, Decision Making, Investments, Financial Modeling, Supply And Demand, Fiscal Management, Business Modeling, Market Dynamics, Expectation Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    345 reviews

    Intermediate · 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: Preview
    Preview
    B

    Board Infinity

    Generative AI: Prompt Engineering Basics

    Skills you'll gain: Responsible AI, LLM Application, Model Evaluation, Scripting, Debugging

    4.6
    Rating, 4.6 out of 5 stars
    ·
    51 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Create a Project Management Tracker using Microsoft Excel

    Skills you'll gain: Microsoft Excel, Project Management Software, Collaborative Software, Spreadsheet Software, Project Management, Productivity Software, Project Planning, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    898 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    R

    Rice University

    Natural Attenuation of Groundwater Contaminants: New Paradigms, Technologies, and Applications

    Skills you'll gain: Environmental Monitoring, Water Quality, Hydrology, Environmental Engineering, Water Resources, Laboratory Testing, Environmental Science, Mathematical Modeling, Microbiology, Chemical Engineering, Chemistry

    4.8
    Rating, 4.8 out of 5 stars
    ·
    510 reviews

    Advanced · Course · 1 - 3 Months

1…155156157…569

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

  • Global Health Policy: The University of Tokyo
  • Distributed Programming in Java: Rice University
  • Recommendation Systems on Google Cloud: Google Cloud
  • Administración financiera y su función en la empresa : Universidad Nacional Autónoma de México
  • Diseño y Creación de videojuegos: Universitat Autònoma de Barcelona
  • An Introduction to Learning Experience Design (LXD): University of Michigan
  • Systems Thinking In Public Health: Johns Hopkins University
  • Introdução à Análise Macroeconômica: Universidade de São Paulo
  • AI and Machine Learning Algorithms and Techniques: Microsoft
  • Generative AI: Prompt Engineering Basics: Board Infinity

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