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

    EDUCBA

    Master AutoCAD Architecture: Design, Model & Build

    Skills you'll gain: AutoCAD, Architectural Drawing, 3D Modeling, Computer-Aided Design, Drafting and Engineering Design, Architectural Design, Building Design, As-Built Drawings

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    G

    Google Cloud

    Model Armor: Mengamankan Deployment AI

    Skills you'll gain: AI Security, Open Web Application Security Project (OWASP), Secure Coding, Model Deployment, Threat Modeling, Large Language Modeling, Security Controls, Google Cloud Platform, Cloud API, API Design

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Quantitative Research Methods: Tools for Data Analysis

    Skills you'll gain: Quantitative Research, Data-Driven Decision-Making, Descriptive Statistics, Data Analysis, Statistical Reporting, Statistics, Research Design, Statistical Analysis, Microsoft Excel, Research Methodologies, Research, R Programming, Data Presentation, Surveys, Data Collection, Data Ethics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Market Research Methods and Data Analysis Certificate

    Skills you'll gain: Data Storytelling, Qualitative Research, Market Research, Quantitative Research, Data-Driven Decision-Making, Benchmarking, Data Presentation, Descriptive Statistics, Competitive Analysis, Interactive Data Visualization, Analytical Skills, Research Design, Market Dynamics, Data Analysis, Data Visualization Software, Statistical Reporting, Data Collection, Data Analysis Software, Microsoft Excel, R Programming

    4.6
    Rating, 4.6 out of 5 stars
    ·
    104 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: New
    New
    G

    Google Cloud

    Model Armor: 안전한 AI 배포

    Skills you'll gain: AI Security, Large Language Modeling, Model Deployment, LLM Application, Open Web Application Security Project (OWASP), Responsible AI, Google Cloud Platform, Security Controls, Cloud API, API Design, System Configuration

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Parsons School of Design, The New School

    Leveraging Design Methods to Identify Business Opportunities

    Skills you'll gain: Design Thinking, Market Opportunities, Business Risk Management, Design and Product, Strategic Thinking, Process Design, Human Centered Design, Innovation, Design, User Experience, Business Modeling, Customer experience strategy (CX), Ethical Standards And Conduct

    4.8
    Rating, 4.8 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    G

    Google Cloud

    Model Armor: KI-Bereitstellungen absichern

    Skills you'll gain: AI Security, Open Web Application Security Project (OWASP), Large Language Modeling, Model Deployment, Prompt Engineering, Security Testing, Security Controls, Vulnerability Management, Security Management, Application Programming Interface (API), System Configuration

    Beginner · Course · 1 - 3 Months

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

    Coursera

    Secure AI: Threat Model & Test Endpoints

    Skills you'll gain: Threat Modeling, AI Security, DevSecOps, Security Testing, Continuous Monitoring, CI/CD, Threat Detection, Secure Coding, MITRE ATT&CK Framework, DevOps, System Monitoring, Application Security, Continuous Integration, MLOps (Machine Learning Operations), Scripting, Unit Testing, Test Case, Prompt Engineering, Integration Testing

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Virginia

    Innovating with the Business Model Canvas

    Skills you'll gain: Design Thinking, Innovation, Process Design, Business Modeling, Customer experience strategy (CX), Business Process, Business Strategy, New Product Development, Strategic Partnership, Customer Analysis, Value Propositions, Product Management, Resource Allocation, Lean Methodologies, Market Opportunities

    4.6
    Rating, 4.6 out of 5 stars
    ·
    317 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Stock Valuation with Dividend Discount Model

    Skills you'll gain: Equities, Business Valuation, Market Data, Financial Analysis, Financial Modeling, Financial Data

    4.5
    Rating, 4.5 out of 5 stars
    ·
    194 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Response Surfaces, Mixtures, and Model Building

    Skills you'll gain: Regression Analysis, Experimentation, Statistical Methods, Statistical Analysis, Statistical Modeling, Research Design, Mathematical Modeling, Analysis, Model Evaluation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    67 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    V

    Vanderbilt University

    Qualitative Methods for Quantitative People (with GenAI)

    Skills you'll gain: Large Language Modeling, Responsible AI, Decision Making, Team Management, Resource Allocation, Generative AI, Qualitative Research, Prompt Engineering, Analysis, Communication, Project Management, Data Ethics, Data-Driven Decision-Making, Data Storytelling, Data Visualization

    2.8
    Rating, 2.8 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

1…161718…563

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

  • Master AutoCAD Architecture: Design, Model & Build: EDUCBA
  • Model Armor: Mengamankan Deployment AI: Google Cloud
  • Quantitative Research Methods: Tools for Data Analysis: Coursera
  • Market Research Methods and Data Analysis Certificate: Coursera
  • Model Armor: 안전한 AI 배포: Google Cloud
  • Leveraging Design Methods to Identify Business Opportunities: Parsons School of Design, The New School
  • Model Armor: KI-Bereitstellungen absichern: Google Cloud
  • Secure AI: Threat Model & Test Endpoints: Coursera
  • Innovating with the Business Model Canvas: University of Virginia
  • Stock Valuation with Dividend Discount Model: 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