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


  • N

    National Taiwan University

    3D CAD Fundamental

    Skills you'll gain: 3D Modeling, SketchUp (3D Modeling Software), Software Installation, Visualization (Computer Graphics)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    671 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Agentic AI Content for Practitioners (Teams: Healthcare)

    Skills you'll gain: Clinical Documentation, Responsible AI, Agentic Workflows, Healthcare Project Management, Data Governance, AI Security, Clinical Research, Regulatory Compliance, Data Validation, Health Informatics, Artificial Intelligence, Agentic systems, Data Ethics, Clinical Data Management, Automation, Decision Support Systems

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    L

    Logical Operations

    Excel: Modeling with Power Pivot and Reporting Insights

    Skills you'll gain: Data Analysis Expressions (DAX), Microsoft Excel, Pivot Tables And Charts, Report Writing, Data Modeling, Management Reporting, Business Reporting, Data Analysis, Performance Reporting, Data Presentation, Data Visualization Software, Data Visualization, Microsoft Office, Microsoft 365, Productivity Software

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Excel Skills for Business Forecasting

    Skills you'll gain: Time Series Analysis and Forecasting, Forecasting, Model Evaluation, Regression Analysis, Microsoft Excel, Excel Formulas, Trend Analysis, Case Studies, Business Mathematics, Business Metrics, Predictive Modeling, Data Presentation, Statistical Visualization, Graphing, Business Economics, Statistical Modeling, Business Analytics, Decision Making, Process Optimization, Statistical Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    319 reviews

    Intermediate · Specialization · 3 - 6 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: Preview
    Preview
    U

    University of California, Irvine

    Human Resources Analytics

    Skills you'll gain: Data Storytelling, Data Presentation, Human Capital, Employee Relations, Human Resource Strategy, Performance Metric, Employee Training, Dashboard, Business Metrics, Employee Engagement, Business Analysis, Employee Retention, Data Analysis, Compensation Analysis, Training and Development, Compensation and Benefits, Compensation Strategy, Talent Recruitment, Mental Health

    4.6
    Rating, 4.6 out of 5 stars
    ·
    2.1K reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Microsoft Power BI Quick Start Guide

    Skills you'll gain: Power BI, Data Modeling, Data Storytelling, Business Intelligence, Interactive Data Visualization, Data Analysis Expressions (DAX), Dashboard, Data Transformation, Data Presentation, Data Visualization Software, Extract, Transform, Load, Cloud Deployment, Data Cleansing, Data Import/Export, Management Reporting

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    D

    Duke University

    Introduction to Genetics and Evolution

    Skills you'll gain: Molecular Biology, Biology, Biostatistics, Biotechnology, Environmental Science, Scientific Methods, Mathematical Modeling

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

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

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Neuroscience and Neuroimaging

    Skills you'll gain: Magnetic Resonance Imaging, Neurology, Medical Imaging, Diagnostic Radiology, Anatomy, Image Analysis, Data Analysis, X-Ray Computed Tomography, Data Manipulation, Radiology, Analytical Skills, Experimentation, Statistical Analysis, Biomedical Technology, Advanced Analytics, Network Analysis, R Programming, Data Processing, Research Design, Statistics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    3.3K reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Data Warehousing for Business Intelligence

    Skills you'll gain: Database Design, Data Warehousing, Relational Databases, Business Intelligence, Decision Support Systems, Data Modeling, Database Management Systems, Data Visualization, Database Management, Dashboard, Business Process Management, SQL, Star Schema, Data Governance, Oracle Databases, Data Integration, Performance Measurement, MicroStrategy, Extract, Transform, Load, Business Analytics

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

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Object-Oriented Design

    Skills you'll gain: Object Oriented Design, Unified Modeling Language, Software Design, Software Design Patterns, Object Oriented Programming (OOP), Java, Maintainability, Application Design

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

    Intermediate · Course · 1 - 4 Weeks

1…585960…566

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

  • 3D CAD Fundamental: National Taiwan University
  • Agentic AI Content for Practitioners (Teams: Healthcare): Coursera
  • Excel: Modeling with Power Pivot and Reporting Insights: Logical Operations
  • Excel Skills for Business Forecasting: Macquarie University
  • Foundations of AI and Machine Learning: Microsoft
  • Human Resources Analytics: University of California, Irvine
  • Microsoft Power BI Quick Start Guide: Packt
  • Introduction to Genetics and Evolution: Duke University
  • Optimize AI: Plan, Evaluate, and Learn: Coursera
  • Neuroscience and Neuroimaging: Johns Hopkins University

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