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

    Johns Hopkins University

    Algebra: Elementary to Advanced - Functions & Applications

    Skills you'll gain: Mathematical Modeling, Graphing, Algebra, General Mathematics, Applied Mathematics, Arithmetic

    4.8
    Rating, 4.8 out of 5 stars
    ·
    194 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Zurich

    An Intuitive Introduction to Probability

    Skills you'll gain: Probability, Probability Distribution, Probability & Statistics, Statistics, Descriptive Statistics, Applied Mathematics, Risk Analysis, Finance

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    AI Product Management

    Skills you'll gain: Deep Learning, MLOps (Machine Learning Operations), Responsible AI, Model Evaluation, Data Ethics, Data Management, Project Management Life Cycle, Unsupervised Learning, Human Computer Interaction, User Experience Design, Classification And Regression Tree (CART), Data Quality, Model Deployment, Data Preprocessing, Human Centered Design, Machine Learning, Project Management, Product Management, Product Design, Data Science

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

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Financial Analysis in Practice

    Skills you'll gain: Financial Modeling, Variance Analysis, Financial Statements, Revenue Forecasting, Budget Management, Financial Statement Analysis, Financial Forecasting, Business Intelligence, Power BI, Financial Analysis, Cash Flows, Cost Management, Spreadsheet Software, Balance Sheet, Financial Reporting, Microsoft Excel, Dashboard, Data Visualization, Key Performance Indicators (KPIs), Capital Budgeting

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Statistics for Data Science with Python

    Skills you'll gain: Descriptive Statistics, Statistical Analysis, Data Analysis, Probability Distribution, Statistics, Data Visualization, Statistical Methods, Statistical Hypothesis Testing, Regression Analysis, Probability & Statistics, Scientific Visualization, Data Science, Matplotlib, Exploratory Data Analysis, Probability, Correlation Analysis, Pandas (Python Package), Jupyter

    4.5
    Rating, 4.5 out of 5 stars
    ·
    453 reviews

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Futuro de los datos y la tecnología - Echar un vistazo

    Skills you'll gain: Large Language Modeling, Image Analysis, Real Time Data, Computer Vision, Advanced Analytics, AI Enablement, Reinforcement Learning, Data Analysis, Data-Driven Decision-Making, Artificial Intelligence, Analysis, Machine Learning, Automation, Data Presentation, Natural Language Processing, Supervised Learning, Innovation

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Finance for Non-Finance Professionals

    Skills you'll gain: Capital Budgeting, Cash Flows, Finance, Financial Analysis, Business Valuation, Return On Investment, Financial Management, Corporate Finance, Case Studies, Investment Management, Risk Analysis, Financial Accounting, Capital Markets

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

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Design of General Utility Systems

    Skills you'll gain: Energy and Utilities, Process Engineering, Plant Operations and Management, Electrical Systems, Process Control, Water Quality, Control Systems, Engineering Design Process, Construction Engineering, Materials science

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Explainable AI (XAI)

    Skills you'll gain: Responsible AI, Data Ethics, Large Language Modeling, Decision Tree Learning, AI Security, Regression Analysis, Generative AI, Artificial Intelligence, AI Product Strategy, Statistical Modeling, Python Programming, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Model Evaluation, Applied Machine Learning, Logistic Regression, Machine Learning Methods, Deep Learning, Visualization (Computer Graphics), Data Literacy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    76 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Optimize Patient Records: Merge and Manage Data

    Skills you'll gain: Electronic Medical Record, Patient Registration, Medical Records, Health Information Management, Patient Safety, Data Cleansing, Medical Privacy, Reconciliation, Records Management, Record Keeping, Data Validation, Data Integrity, Clinical Data Management, Consolidation, Data Quality, Quality Assurance

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Introducción a la inteligencia artificial

    Skills you'll gain: Supervised Learning, Applied Machine Learning, Unsupervised Learning, Bayesian Network, Machine Learning Methods, Computational Logic, Program Development, Machine Learning, Artificial Intelligence, Machine Learning Algorithms, Markov Model, Artificial Intelligence and Machine Learning (AI/ML), Algorithms, Computational Thinking, Creativity, Game Theory, Theoretical Computer Science, Software Development, Generative AI, Social Sciences

    4.6
    Rating, 4.6 out of 5 stars
    ·
    640 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Optimize Agentic AI: Algorithms for Peak Performance

    Skills you'll gain: Proposal Writing, Performance Tuning, Agentic systems, Computational Thinking, Performance Analysis, Computational Logic

    Intermediate · Course · 1 - 4 Weeks

1…9899100…566

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

  • Algebra: Elementary to Advanced - Functions & Applications: Johns Hopkins University
  • An Intuitive Introduction to Probability: University of Zurich
  • AI Product Management: Duke University
  • Financial Analysis in Practice: Coursera
  • Statistics for Data Science with Python: IBM
  • Futuro de los datos y la tecnología - Echar un vistazo : Real Madrid Graduate School Universidad Europea
  • Finance for Non-Finance Professionals: Rice University
  • Design of General Utility Systems: L&T EduTech
  • Explainable AI (XAI): Duke University
  • Optimize Patient Records: Merge and Manage Data: Coursera

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