• 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: Free Trial
    Free Trial
    S

    Stanford University

    AI in Healthcare

    Skills you'll gain: Feature Engineering, Healthcare Ethics, Pharmaceuticals, Data Ethics, Clinical Research, Clinical Data Management, Health Systems, Healthcare Industry Knowledge, Clinical Research Ethics, Unstructured Data, Health Care, Model Deployment, Health Informatics, Data Mining, Managed Care, Model Evaluation, Responsible AI, Applied Machine Learning, Machine Learning, Artificial Intelligence

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Java FullStack Developer

    Skills you'll gain: Angular, HTML and CSS, Data Structures, Spring Boot, Eclipse (Software), Restful API, Java Programming, Object Oriented Programming (OOP), Model View Controller, Java, Front-End Web Development, Spring Framework, Object Oriented Design, Integrated Development Environments, Javascript, Software Design Patterns, Web Components, Development Environment, Web Applications, Cascading Style Sheets (CSS)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    833 reviews

    Intermediate · Specialization · 1 - 3 Months

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

    Coursera

    Optimize, Evaluate, and Forecast Your Cloud Spend

    Skills you'll gain: Cost Management, Financial Management, Resource Allocation, Resource Utilization, Cost Estimation, Predictive Modeling, Forecasting, Capacity Management, Operating Cost, Financial Modeling, Data-Driven Decision-Making, Cost Benefit Analysis, Gap Analysis, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Università Bocconi

    Private Equity and Venture Capital

    Skills you'll gain: Private Equity, Business Valuation, Entrepreneurial Finance, Mergers & Acquisitions, Investments, Financial Management, Legal Risk, Financial Modeling, Tax Laws, Entrepreneurship, Due Diligence, Negotiation

    Build toward a degree

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

    Mixed · Course · 1 - 3 Months

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

    Coursera

    Secure Mobile AI Models Against Attacks

    Skills you'll gain: AI Security, Mobile Security, Model Deployment, Mobile Development, Continuous Monitoring, Application Security, Threat Modeling, Apple iOS, Security Requirements Analysis, System Monitoring, Encryption, Threat Management, Security Management, Information Privacy, Program Implementation

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    U

    University of Maryland, College Park

    Cybersecurity: Overlooked Threats to Your Strategy

    Skills you'll gain: Cyber Security Strategy, Cybersecurity, Threat Modeling, Threat Management, Cyber Risk, Cyber Attacks, Security Awareness, Cyber Security Policies, Computer Security, Malware Protection, Information Systems Security, Infrastructure Security, Public Safety and National Security, Human Factors (Security), Data Security, Risk Management

    Beginner · Course · 1 - 3 Months

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

    Coursera

    Data Entry: Capture and Upload Fast

    Skills you'll gain: Data Entry, Data Validation, Data Integrity, Data Capture, Data Processing, Data Management, Spreadsheet Software, Computer Literacy

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Master of Science in Data Science

    Skills you'll gain: User Story, New Product Development, Real-Time Operating Systems, Model Based Systems Engineering, Model Evaluation, Field-Programmable Gate Array (FPGA), Failure Analysis, Sustainable Business, Data Mining, Delegation Skills, Object Oriented Design, Sampling (Statistics), Proposal Writing, Supplier Management, Accountability, Data Ethics, Sustainability Reporting, Database Design, Generative AI, Sustainable Design

    Earn a degree

    Degree · 1 - 4 Years

  • Status: Preview
    Preview
    S

    Stanford University

    Organizational Analysis

    Skills you'll gain: Organizational Structure, Social Network Analysis, Organizational Strategy, Decision Making, Organizational Change, Organizational Effectiveness, Leadership Studies, Business, Culture, Sociology, Analysis, Resource Management, Negotiation

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Exploratory Data Analysis for Machine Learning

    Skills you'll gain: Exploratory Data Analysis, Feature Engineering, Statistical Methods, Data Preprocessing, Statistical Inference, Statistical Hypothesis Testing, Data Access, Anomaly Detection, Statistical Analysis, Data Analysis, Data Cleansing, Data Manipulation, Machine Learning, Probability & Statistics, Jupyter, Data Import/Export, Pandas (Python Package), Data Transformation, Data Quality

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

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Operations Analytics

    Skills you'll gain: Descriptive Analytics, Business Analytics, Operations Research, Analytics, Predictive Analytics, Operational Analysis, Business Operations, Business Intelligence, Data Analysis, Operations Management, Data-Driven Decision-Making, Demand Planning, Forecasting, Simulation and Simulation Software, Business Modeling, Inventory and Warehousing, Process Optimization, Risk Analysis, Supply Chain Planning, Decision Making

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

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Digital Manufacturing & Design Technology

    Skills you'll gain: Model Based Systems Engineering, Peer Review, Programmable Logic Controllers, Systems Engineering, Product Lifecycle Management, Intrusion Detection and Prevention, Security Controls, Performance Measurement, Collaborative Software, Control Systems, Continuous Monitoring, Anomaly Detection, Machine Controls, Incident Response, Digital Transformation, Vulnerability Assessments, Software Development Life Cycle, Production Process, Cybersecurity, Manufacturing Operations

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

    Beginner · Specialization · 3 - 6 Months

1…666768…566

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

  • AI in Healthcare: Stanford University
  • Java FullStack Developer: Board Infinity
  • Optimize, Evaluate, and Forecast Your Cloud Spend: Coursera
  • Private Equity and Venture Capital: Università Bocconi
  • Secure Mobile AI Models Against Attacks: Coursera
  • Cybersecurity: Overlooked Threats to Your Strategy: University of Maryland, College Park
  • Data Entry: Capture and Upload Fast: Coursera
  • Master of Science in Data Science: University of Colorado Boulder
  • Organizational Analysis : Stanford University
  • Exploratory Data Analysis for Machine Learning: IBM

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