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

    Peking University

    生物演化

    Skills you'll gain: Biology, Molecular Biology, Life Sciences, Biostatistics, Bioinformatics, Environment, Taxonomy, Scientific Methods, Science and Research, Mathematical Modeling

    4.9
    Rating, 4.9 out of 5 stars
    ·
    113 reviews

    Mixed · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IIMA - IIM Ahmedabad

    Transforming Life and Organizations in the Digital Age

    Skills you'll gain: Digital Transformation, Innovation, Business Transformation, Organizational Strategy, Artificial Intelligence, Technology Strategies, Organizational Change, Cognitive flexibility, Industrial and Organizational Psychology, Emotional Intelligence, Decision Making

    4.9
    Rating, 4.9 out of 5 stars
    ·
    36 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Pontificia Universidad Católica del Perú

    Fundamentos de UX y de los requisitos de software

    Skills you'll gain: User Story, Human Computer Interaction, Software Development Life Cycle, Functional Requirement, Unified Modeling Language, Requirements Analysis, Prototyping, Usability, Persona (User Experience), User Experience, User Interface (UI) Design, User Requirements Documents, User Research, Interaction Design, Human Centered Design, User Centered Design, System Requirements, Software Design, Software Engineering, Systems Development

    4.9
    Rating, 4.9 out of 5 stars
    ·
    152 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    SAS

    Building a Large-Scale, Automated Forecasting System

    Skills you'll gain: SAS (Software), Forecasting, Time Series Analysis and Forecasting, Statistical Methods, Predictive Modeling, Data Preprocessing, Automation, Anomaly Detection, Data Transformation, Model Evaluation

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    Tecnológico de Monterrey

    Visualización de Datos - Gestión Empresarial

    Skills you'll gain: Data Storytelling, Power BI, Data Presentation, Tableau Software, Data Visualization Software, Data-Driven Decision-Making, Interactive Data Visualization, Dashboard, Plotly, Business Intelligence, Exploratory Data Analysis, Data Modeling

    4.9
    Rating, 4.9 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Maryland, College Park

    Surviving Disruptive Technologies (On Demand)

    Skills you'll gain: Emerging Technologies, Technology Strategies, Media and Communications, Electronic Media, Business Technologies, Digital Transformation, Business Transformation, Social Media, Innovation, Organizational Change, Competitive Analysis, Case Studies, E-Commerce, Business Strategy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    63 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Lactation Biology

    Skills you'll gain: Maternal Health, Anatomy, Endocrinology, Infant Care, Cell Biology, Physiology, Biochemistry, Biology, Microbiology

    4.8
    Rating, 4.8 out of 5 stars
    ·
    38 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    Forecasting Financial Statements & Valuation for Accountants

    Skills you'll gain: Financial Statement Analysis, Financial Reporting, Financial Forecasting, Financial Acumen, Business Valuation, Financial Modeling, Balance Sheet, Cash Flow Forecasting, Generally Accepted Accounting Principles (GAAP), Finance, Market Data, Trend Analysis, Estimation

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    40 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Deploy AI Apps with Cloudflare

    Skills you'll gain: Cloud Deployment, Cloud Applications, Application Deployment, API Gateway, OpenAI API, Model Deployment, Cloud Security, Application Programming Interface (API), AI Enablement, LLM Application, Web Servers, Application Performance Management, Distributed Computing, Debugging

    4.8
    Rating, 4.8 out of 5 stars
    ·
    28 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Intro to Claude AI

    Skills you'll gain: Anthropic Claude, OpenAI API, Prompt Engineering, LLM Application, Generative AI, Large Language Modeling, Multimodal Prompts, Artificial Intelligence, Responsible AI, Cloud Deployment, Restful API, API Design

    4.4
    Rating, 4.4 out of 5 stars
    ·
    21 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    AAPC

    Insurance Specifics

    Skills you'll gain: Denial Management, Claims Processing, Medical Billing, Insurance Policies, Utilization Management, Billing & Invoicing, Insurance, Medicare, Revenue Cycle Management, Workers Compensation, Medicaid, Healthcare Industry Knowledge, Regulatory Compliance

    4.8
    Rating, 4.8 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Applying Systems Engineering to the Design Process

    Skills you'll gain: Requirements Management, Design Reviews, Systems Engineering, Engineering Management, User Requirements Documents, Requirements Analysis, Systems Design, Business Requirements, Software Engineering, Systems Integration, Leadership, Engineering Design Process, Performance Measurement, Manufacturing and Production, Coordination, Data-Driven Decision-Making, Decision Making

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    37 reviews

    Beginner · Course · 1 - 3 Months

1…292293294…581

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

  • 生物演化: Peking University
  • Transforming Life and Organizations in the Digital Age: IIMA - IIM Ahmedabad
  • Fundamentos de UX y de los requisitos de software: Pontificia Universidad Católica del Perú
  • Building a Large-Scale, Automated Forecasting System: SAS
  • Visualización de Datos - Gestión Empresarial: Tecnológico de Monterrey
  • Surviving Disruptive Technologies (On Demand): University of Maryland, College Park
  • Lactation Biology: University of Illinois Urbana-Champaign
  • Forecasting Financial Statements & Valuation for Accountants: University of Illinois Urbana-Champaign
  • Deploy AI Apps with Cloudflare: Scrimba
  • Intro to Claude AI: Scrimba

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