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

    California Institute of the Arts

    The Language of Design: Form and Meaning

    Skills you'll gain: Design Reviews, Design, Graphic Design, Design Elements And Principles, Visual Design, Peer Review, Typography, Design Thinking

    4.6
    Rating, 4.6 out of 5 stars
    ·
    903 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Improving Leadership & Governance in Nonprofit Organizations

    Skills you'll gain: Peer Review, Governance, Consulting, Performance Measurement, Meeting Facilitation, Leadership and Management, Organizational Strategy, Report Writing, Organizational Effectiveness, Leadership, Performance Analysis, Management Consulting, Discussion Facilitation, Organizational Change, Philanthropy, Case Studies, Change Management, Public Administration, Strategic Leadership, Leadership Development

    4.4
    Rating, 4.4 out of 5 stars
    ·
    279 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Virginia

    Managerial Accounting Fundamentals

    Skills you'll gain: Management Accounting, Cost Accounting, Operating Cost, Cost Benefit Analysis, Cost Management, Budget Management, Financial Accounting, Financial Data, Financial Analysis, Decision Making, Resource Allocation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    843 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Meta

    APIs

    Skills you'll gain: Restful API, API Testing, Django (Web Framework), API Design, Software Documentation, Application Programming Interface (API), Authentications, Authorization (Computing), Debugging, JSON, Performance Tuning, Data Validation, Extensible Markup Language (XML)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    369 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Number Theory and Cryptography

    Skills you'll gain: Cryptography, Encryption, Public Key Cryptography Standards (PKCS), Cybersecurity, Arithmetic, Algorithms, Theoretical Computer Science, Computational Thinking, Algebra, Python Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    608 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Getting started with TensorFlow 2

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Model Evaluation, Deep Learning, Image Analysis, Convolutional Neural Networks, Transfer Learning, Supervised Learning, Computer Vision, Model Deployment, Artificial Neural Networks, Data Preprocessing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    580 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    Y

    Yale University

    Health Behavior Change: From Evidence to Action

    Skills you'll gain: Health Promotion, Health Education, Health And Wellness Coaching, Nutrition and Diet, Public Health, Behavioral Health, Social Determinants Of Health, Community Health, Mental Health, Behavioral Economics, Physical Therapy, Goal Setting

    4.8
    Rating, 4.8 out of 5 stars
    ·
    484 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google

    Google Data Analytics (PT)

    Skills you'll gain: Data Cleansing, Rmarkdown, Data Storytelling, Data Presentation, Data Validation, Spreadsheet Software, Data Visualization, Data Ethics, Data Literacy, Tableau Software, Data Visualization Software, Data Analysis, R (Software), Ggplot2, Analytical Skills, Stakeholder Communications, Presentations, Data Quality, Data Collection, Data Processing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    4.1K reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The Pennsylvania State University

    Epidemics - the Dynamics of Infectious Diseases

    Skills you'll gain: Infectious Diseases, Epidemiology, Public Health and Disease Prevention, Microbiology, Public Health, Pathology, Immunology, Preventative Care, Sanitation, Social Determinants Of Health, Social Sciences, Community Health, Molecular, Cellular, and Microbiology, Medical Science and Research, Biology, Drug Development, Social Network Analysis, Case Studies

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

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    Eindhoven University of Technology

    Improving your statistical inferences

    Skills you'll gain: Statistical Inference, Scientific Methods, Statistical Hypothesis Testing, Quantitative Research, Bayesian Statistics, Statistical Analysis, Probability & Statistics, Sample Size Determination, Research, R Programming, Data Sharing

    4.9
    Rating, 4.9 out of 5 stars
    ·
    799 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    K

    Kennesaw State University

    Writing Professional Email and Memos (Project-Centered Course)

    Skills you'll gain: Peer Review, Grammar, Business Writing, Business Correspondence, Writing, Editing, Proofreading, Concision, Taking Meeting Minutes, Professionalism, Business Communication, Target Audience, Constructive Feedback

    4.3
    Rating, 4.3 out of 5 stars
    ·
    455 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Generative AI for Web Development

    Skills you'll gain: Prompt Engineering, Anthropic Claude, Vibe coding, Model Context Protocol, OpenAI API, LLM Application, Context Management, Debugging, ChatGPT, Generative AI, Large Language Modeling, Multimodal Prompts, Pseudocode, AI Workflows, Artificial Intelligence, Responsible AI, AI Enablement, Software Installation, Web Development Tools, Software Development

    4.4
    Rating, 4.4 out of 5 stars
    ·
    169 reviews

    Intermediate · Specialization · 1 - 3 Months

1…122123124…569

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

  • The Language of Design: Form and Meaning: California Institute of the Arts
  • Improving Leadership & Governance in Nonprofit Organizations: University at Buffalo
  • Managerial Accounting Fundamentals: University of Virginia
  • APIs: Meta
  • Number Theory and Cryptography: University of California San Diego
  • Getting started with TensorFlow 2: Imperial College London
  • Health Behavior Change: From Evidence to Action: Yale University
  • Google Data Analytics (PT): Google
  • Epidemics - the Dynamics of Infectious Diseases: The Pennsylvania State University
  • Improving your statistical inferences: Eindhoven University of Technology

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