• 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: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Align AI: Ethics, Strategy & Excellence

    Skills you'll gain: Responsible AI, Data Ethics, Organizational Strategy, Artificial Intelligence, Strategic Leadership, Cross-Functional Collaboration, Governance, Artificial Intelligence and Machine Learning (AI/ML), Decision Making, Business Ethics, Business Management, Technology Roadmaps, Ethical Standards And Conduct, Data Governance, Enterprise Architecture, Scalability, Risk Mitigation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Software Development Lifecycle

    Skills you'll gain: User Story, Agile Software Development, Software Design Patterns, Design Thinking, Software Development Methodologies, Software Design, Agile Methodology, Agile Project Management, Process Mapping, Software Engineering, Kanban Principles, Software Development Life Cycle, Software Quality Assurance, Program Development, Application Security, Scrum (Software Development), Object Oriented Design, Software Architecture, User Experience Design, Software Quality (SQA/SQC)

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Managing Cybersecurity

    Skills you'll gain: Network Security, Incident Response, Network Administration, Vulnerability Management, Cybersecurity, Contingency Planning, Cyber Governance, Cyber Attacks, Disaster Recovery, Cyber Security Policies, Security Management, Firewall, Computer Security Incident Management, Network Monitoring, General Networking, Cyber Security Strategy, Crisis Management, Vulnerability Assessments, Cyber Risk, Risk Management

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Introduction to Spreadsheets and Models

    Skills you'll gain: Spreadsheet Software, Financial Modeling, Regression Analysis, Excel Formulas, Business Modeling, Simulation and Simulation Software, Operations Research, Microsoft Excel, Google Sheets, Probability Distribution, Analysis, Forecasting, Predictive Analytics, Risk Analysis, Statistical Methods, Data Analysis Software, Process Optimization, Decision Tree Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    3.9K reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Summary Statistics in Public Health

    Skills you'll gain: Biostatistics, Statistical Visualization, Epidemiology, Quantitative Research, Descriptive Statistics, Probability & Statistics, Statistical Methods, Probability Distribution, Statistics, Public Health, Sample Size Determination

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

    Beginner · Course · 1 - 3 Months

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

    Coursera

    Star Schemas & Track Changes

    Skills you'll gain: Star Schema, Data Warehousing, Looker (Software), Database Design, Data Mart, Data Modeling, Business Intelligence, Extract, Transform, Load, Data Integrity, Data Transformation, Performance Tuning, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    AutoCAD Architectural Design & Residential Planning

    Skills you'll gain: Architectural Drawing, AutoCAD, Architectural Design, Technical Drawing, Engineering Drawings, Civil and Architectural Engineering, Drafting and Engineering Design, Computer-Aided Design, Building Design, As-Built Drawings, AutoCAD Civil 3D, Architectural Engineering, Structural Engineering, Electrical Wiring, Structural Analysis, Functional Design, Conceptual Design, Layout Design, Construction Estimating, 3D Modeling

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Machine Learning: Supervised Learning

    Skills you'll gain: Statistical Modeling, Data Preprocessing

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Interventions and Calibration

    Skills you'll gain: Mathematical Modeling, Epidemiology, Infectious Diseases, Model Evaluation, Simulations, Statistical Modeling, Predictive Modeling, Data Modeling, R Programming, Statistical Methods, Public Health, Probability Distribution

    4.7
    Rating, 4.7 out of 5 stars
    ·
    56 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of London

    Global Diplomacy – Diplomacy in the Modern World

    Skills you'll gain: Diplomacy, International Relations, Political Sciences, Cultural Diversity, Mediation, Intercultural Competence, Public Affairs, World History, Conflict Management, Policy Analysis

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Foundations of AI and Machine Learning

    Skills you'll gain: Model Deployment, Data Management, Artificial Intelligence and Machine Learning (AI/ML), Infrastructure Architecture, MLOps (Machine Learning Operations), Cloud Deployment, Artificial Intelligence, Data Security, Application Frameworks, Machine Learning, Data Preprocessing, Data Pipelines, Scalability

    4.6
    Rating, 4.6 out of 5 stars
    ·
    235 reviews

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Optimize AI: Plan, Evaluate, and Learn

    Skills you'll gain: Risk Analysis, Risk Management Framework, Decision Making, AI Enablement, Continuous Deployment, Project Management Software, Strategic Decision-Making, Operational Analysis, Release Management, Project Planning, Predictive Modeling, A/B Testing, Business Priorities, Operational Efficiency, Algorithms, Experimentation, Advanced Analytics, Procedure Development, Product Planning, Product Development

    Intermediate · Course · 1 - 4 Weeks

1…636465…566

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

  • Align AI: Ethics, Strategy & Excellence: Coursera
  • Software Development Lifecycle: University of Minnesota
  • Managing Cybersecurity: Kennesaw State University
  • Introduction to Spreadsheets and Models: University of Pennsylvania
  • Summary Statistics in Public Health : Johns Hopkins University
  • Star Schemas & Track Changes: Coursera
  • AutoCAD Architectural Design & Residential Planning: EDUCBA
  • Introduction to Machine Learning: Supervised Learning: University of Colorado Boulder
  • Interventions and Calibration: Imperial College London
  • Global Diplomacy – Diplomacy in the Modern World: University of London

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