• 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

    Universitat Autònoma de Barcelona

    Pre-Calculus

    Skills you'll gain: Integral Calculus, Trigonometry, Calculus, Algebra, General Mathematics, Arithmetic, Advanced Mathematics, Applied Mathematics, Graphing, Derivatives, Problem Solving

    4.7
    Rating, 4.7 out of 5 stars
    ·
    573 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    A

    AI CERTs

    Responsible AI Principles

    Skills you'll gain: Responsible AI, AI Security, Data Ethics, Governance, Data Governance, Law, Regulation, and Compliance, Ethical Standards And Conduct, Compliance Training, Artificial Intelligence, Business Ethics, Compliance Management, Accountability, Regulatory Requirements, Governance Risk Management and Compliance, General Data Protection Regulation (GDPR), Personally Identifiable Information, Information Privacy, Stakeholder Engagement

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Mortgage for Underwriters

    Skills you'll gain: Regulatory Requirements, Lending and Underwriting, Compliance Management, Mortgage Loans, Commercial Lending, Credit Risk, Risk Management, Consumer Lending, Quality Control, AI Enablement, Decision Making, Predictive Analytics, Machine Learning, Artificial Intelligence

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to battery-management systems

    Skills you'll gain: Electrical Safety, Electrical Systems, High Voltage, Electronic Components, Safety Standards, Control Systems, Basic Electrical Systems, Thermal Management, Failure Analysis, Energy and Utilities, Electrical Engineering, Manufacturing Processes, Materials science, Chemical Engineering, Chemistry, Requirements Analysis

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Six Sigma Black Belt

    Skills you'll gain: Statistical Process Controls, Lean Six Sigma, Six Sigma Methodology, Lean Methodologies, Process Improvement, Team Management, Process Capability, Data Collection, Knowledge Transfer, Team Building, Statistical Hypothesis Testing, Meeting Facilitation, Continuous Improvement Process, Performance Measurement, Conflict Management, Process Analysis, Sampling (Statistics), Quality Control, Team Leadership, Statistics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    825 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    É

    École Polytechnique Fédérale de Lausanne

    Digital Signal Processing

    Skills you'll gain: Digital Signal Processing, Digital Communications, Communication Systems, Image Analysis, Telecommunications, Electrical and Computer Engineering, Electrical Engineering, Embedded Systems, Electronic Systems, Engineering Analysis, Electronics, Programming Principles, Numerical Analysis, Algorithms, Linear Algebra, Mathematical Modeling, Time Series Analysis and Forecasting, Data Mapping, Real Time Data, Computer Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    797 reviews

    Intermediate · Specialization · 3 - 6 Months

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

    Creo Incubator

    Entrepreneurship: Financial Literacy & Fundraising Readiness

    Skills you'll gain: Entrepreneurial Finance, Business Strategy, Entrepreneurship, Financial Forecasting, Business Planning, Business Valuation, Fundraising, Mergers & Acquisitions, Financial Modeling, Finance, Financial Analysis, Cash Flow Forecasting, Presentations, Accounting, Investments, Business Metrics, Competitive Analysis, Value Propositions, Sales Presentations, Market Analysis

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Aspiring CIO & CISO: Leadership Development Guide

    Skills you'll gain: Risk Management, Leadership Development, Crisis Management, Stakeholder Management, Interviewing Skills, Personal Development, Leadership, Strategic Partnership, Professional Networking, Leadership and Management, Branding, Business Leadership, Cybersecurity, Strategic Leadership, Business Planning, IT Management, Strategic Thinking, Communication Planning

    Beginner · Course · 1 - 3 Months

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

    Coursera

    GA Goal Tracking & Setup

    Skills you'll gain: Marketing Effectiveness, Marketing Analytics, Google Analytics, Web Analytics, Verification And Validation, Goal Setting, Web Analytics and SEO, Performance Metric, Transaction Processing, Data Validation, System Testing

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Foundational Finance for Strategic Decision Making

    Skills you'll gain: Financial Modeling, Market Data, Financial Analysis, Cash Flows, Loans, Financial Statements, Finance, Portfolio Risk, Risk Management, Portfolio Management, Business Valuation, Corporate Finance, Capital Budgeting, Securities (Finance), Mortgage Loans, Risk Analysis, Financial Forecasting, Excel Formulas, Equities, Investments

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    Universiteit Leiden

    International Law in Action: A Guide to the International Courts and Tribunals in The Hague

    Skills you'll gain: Arbitration, Court Systems, Mediation, Political Sciences, Legal Research, Legal Proceedings, Diplomacy, Case Law, Legal Hearings, Adjudication, International Relations, Civil Law, Case Studies

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

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

1…818283…567

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

  • Pre-Calculus: Universitat Autònoma de Barcelona
  • Responsible AI Principles: AI CERTs
  • Mortgage for Underwriters: Coursera
  • Introduction to battery-management systems: University of Colorado Boulder
  • Six Sigma Black Belt: Kennesaw State University
  • Digital Signal Processing: École Polytechnique Fédérale de Lausanne
  • Entrepreneurship: Financial Literacy & Fundraising Readiness: Creo Incubator
  • Aspiring CIO & CISO: Leadership Development Guide: Packt
  • GA Goal Tracking & Setup: Coursera
  • Foundational Finance for Strategic Decision Making: University of Michigan

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