• 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

    Lund University

    European Business Law: Doing Business in Europe

    Skills you'll gain: Legal Writing, Labor Law, Case Law, Arbitration, Legal Research, Labor Compliance, Regulation and Legal Compliance, Tax Compliance, Environmental Laws, Compliance Management, Business Management, Tax Laws, Commercial Laws, Financial Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    558 reviews

    Beginner · 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

    University of Minnesota

    Analytics for Decision Making

    Skills you'll gain: Time Series Analysis and Forecasting, Model Evaluation, Simulations, Operations Research, Probability Distribution, Mathematical Modeling, Supply Chain, Probability, Predictive Modeling, Data Preprocessing, Business Modeling, Business Analytics, Workforce Management, Analytics, Regression Analysis, Microsoft Excel, Forecasting, Excel Formulas, Statistics, Predictive Analytics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    292 reviews

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

  • J

    Johns Hopkins University

    International Travel Preparation, Safety, & Wellness

    Skills you'll gain: Intercultural Competence, Healthcare Ethics, Cultural Diversity, Public Health and Disease Prevention, Stress Management, Safety Training, Preventative Care, Injury Prevention, Occupational Health, Public Health, Safety and Security, Ethical Standards And Conduct, Adaptability, Infectious Diseases, Emergency Response, Mental Health, Planning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    464 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Hydrocarbon Exploration and Production

    Skills you'll gain: Oil and Gas, Petroleum Industry, Environmental Engineering, Environmental Regulations, Energy and Utilities, Chemical Engineering, Automation Engineering, Engineering Analysis, Geostatistics, Water Resources, Production Process, Hydraulics, Emerging Technologies, Analytical Testing

    4.7
    Rating, 4.7 out of 5 stars
    ·
    69 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Inferential Statistical Analysis with Python

    Skills you'll gain: Statistical Inference, Data-Driven Decision-Making, Statistical Hypothesis Testing, Bayesian Statistics, Probability & Statistics, Statistical Analysis, Quantitative Research, Data Analysis, Sampling (Statistics), Jupyter, Pandas (Python Package), Python Programming

    4.6
    Rating, 4.6 out of 5 stars
    ·
    933 reviews

    Intermediate · Course · 1 - 4 Weeks

  • 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

  • Status: Preview
    Preview
    É

    École Polytechnique

    Aléatoire : une introduction aux probabilités - Partie 1

    Skills you'll gain: Probability, Probability Distribution, Simulations, Probability & Statistics, Statistical Methods, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics

    4.5
    Rating, 4.5 out of 5 stars
    ·
    105 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Excel/VBA for Creative Problem Solving, Part 2

    Skills you'll gain: Excel Macros, Visual Basic (Programming Language), Data Import/Export, Programming Principles, Spreadsheet Software, UI Components, User Interface (UI), Automation, File I/O, Debugging, Data Validation

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    ISC2

    Incident Response, BC, and DR Concepts

    Skills you'll gain: Incident Response, Business Continuity, Disaster Recovery, Cybersecurity, Security Management, Computer Security Incident Management, Crisis Management, Information Assurance

    4.7
    Rating, 4.7 out of 5 stars
    ·
    265 reviews

    Beginner · Course · 1 - 3 Months

1…159160161…569

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

  • European Business Law: Doing Business in Europe: Lund University
  • Administración financiera y su función en la empresa : Universidad Nacional Autónoma de México
  • Analytics for Decision Making: University of Minnesota
  • Additive Manufacturing: Arizona State University
  • An Introduction to Learning Experience Design (LXD): University of Michigan
  • International Travel Preparation, Safety, & Wellness: Johns Hopkins University
  • Hydrocarbon Exploration and Production: L&T EduTech
  • Inferential Statistical Analysis with Python: University of Michigan
  • Generative AI: Prompt Engineering Basics: Board Infinity
  • Aléatoire : une introduction aux probabilités - Partie 1: École Polytechnique

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