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


  • I

    IE Business School

    Critical Perspectives on Management

    Skills you'll gain: Innovation, Business Management, Performance Management, Governance, Case Studies, Organizational Effectiveness, Corporate Strategy, Business Leadership, Decision Making, Behavioral Economics, Ancient History, Organizational Structure, Business Strategy, Social Studies, Economics, Market Dynamics, Storytelling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    313 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    B

    Board Infinity

    Frontend Development using React

    Skills you'll gain: HTML and CSS, React.js, Web Applications, Front-End Web Development, Javascript, Cascading Style Sheets (CSS), Web Development, User Interface (UI)

    4.2
    Rating, 4.2 out of 5 stars
    ·
    58 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Data Cleaning & Processing with Copilot in Excel

    Skills you'll gain: Data Cleansing, Prompt Engineering, Data Processing, Microsoft Excel, Data Manipulation, Microsoft Copilot, Data Preprocessing, Data Quality, Data Transformation, Data Integrity, Data Validation, Data-Driven Decision-Making, Excel Formulas, Data Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    46 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IESE Business School

    Communicating with Presence

    Skills you'll gain: Persuasive Communication, Corporate Communications, Crisis Management, Media Relations, Public Speaking, Strategic Communication, Media and Communications, Communication Strategies, Storytelling, Verbal Communication Skills, Influencing, Communication, Media Strategy, Digital Marketing, Press Releases, Leadership, Sales Presentations, Stakeholder Communications, Public Relations, Marketing Communications

    4.7
    Rating, 4.7 out of 5 stars
    ·
    149 reviews

    Beginner · Specialization · 1 - 3 Months

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

    Coursera

    Building Smarter Data Pipelines: SQL, Spark, Kafka & GenAI

    Skills you'll gain: Apache Kafka, Data Warehousing, Extract, Transform, Load, Microsoft SQL Servers, Snowflake Schema, Star Schema, Performance Tuning, Data Pipelines, Cloud Computing Architecture, Business Intelligence, Real Time Data, Apache Hadoop, Data Modeling, Data Quality, Responsible AI, Apache Spark, SQL, Generative AI, Data Governance, Quality Management

    4.3
    Rating, 4.3 out of 5 stars
    ·
    90 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Build Multimodal Generative AI Applications

    Skills you'll gain: Multimodal Prompts, LLM Application, Generative Model Architectures, OpenAI API, Application Development, Prompt Engineering, Web Applications, Flask (Web Framework), Web Development, Software Development

    4.8
    Rating, 4.8 out of 5 stars
    ·
    47 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Emory University

    Managing Uncertainty in Marketing Analytics

    Skills you'll gain: Probability Distribution, Marketing Analytics, Probability, Microsoft Excel, Statistics, Statistical Modeling, Forecasting, Decision Making, Simulation and Simulation Software, Insurance and Warranty Claims Processing, Risk Analysis

    4.3
    Rating, 4.3 out of 5 stars
    ·
    68 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Security Fundamentals and Identity Management

    Skills you'll gain: Cryptography, Encryption, Risk Management Framework, Multi-Factor Authentication, Information Systems Security, Cybersecurity, Identity and Access Management, Authentications, Security Controls, Personally Identifiable Information, Threat Management, Data Security, Information Privacy, Network Security, Authorization (Computing)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    36 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnQuest

    Python Scripting for DevOps

    Skills you'll gain: Containerization, File I/O, Package and Software Management, Unified Modeling Language, Matplotlib, Software Testing, Docker (Software), Development Environment, Unit Testing, Test Automation, Continuous Integration, Data Manipulation, Pandas (Python Package), Scripting, Data Modeling, DevOps, Programming Principles, Python Programming, Data Structures, Computer Programming

    4
    Rating, 4 out of 5 stars
    ·
    209 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    Tel Aviv University

    Economic Growth and Distributive Justice Part II - Maximize Social Wellbeing

    Skills you'll gain: Economics, Economics, Policy, and Social Studies, Tax, Economic Development, Social Justice, Socioeconomics, Public Policies, Sustainable Development, Tax Management, Policy Analysis, Income Tax, Market Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    135 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Market Equilibrium, Government Policy & Elasticity

    Skills you'll gain: Economics, Behavioral Economics, Supply And Demand, Policy Analysis, Market Dynamics, Business Economics, Public Policies, Socioeconomics, Consumer Behaviour, Political Sciences, Decision Making

    4.9
    Rating, 4.9 out of 5 stars
    ·
    35 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Amazon Web Services

    Getting Started with AWS Generative AI for Developers

    Skills you'll gain: Amazon Bedrock, Prompt Engineering, Responsible AI, Generative AI, Large Language Modeling, LLM Application, Embeddings, Model Deployment, Artificial Intelligence, Application Programming Interface (API)

    4.5
    Rating, 4.5 out of 5 stars
    ·
    43 reviews

    Beginner · Course · 1 - 4 Weeks

1…232233234…578

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

  • Critical Perspectives on Management: IE Business School
  • Frontend Development using React: Board Infinity
  • Data Cleaning & Processing with Copilot in Excel : Microsoft
  • Communicating with Presence: IESE Business School
  • Building Smarter Data Pipelines: SQL, Spark, Kafka & GenAI: Coursera
  • Build Multimodal Generative AI Applications: IBM
  • Managing Uncertainty in Marketing Analytics: Emory University
  • Security Fundamentals and Identity Management: Packt
  • Python Scripting for DevOps: LearnQuest
  • Economic Growth and Distributive Justice Part II - Maximize Social Wellbeing: Tel Aviv 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