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

    Universiteit Leiden

    International Law in Action: the Arbitration of International Disputes

    Skills you'll gain: Arbitration, Diplomacy, Legal Strategy, International Relations, Conflict Management, Case Studies

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Data Warehouse Fundamentals

    Skills you'll gain: Data Warehousing, Extract, Transform, Load, Star Schema, IBM DB2, Data Modeling, Snowflake Schema, PostgreSQL, Database Design, Data Architecture, Data Mart, Database Systems, Data Lakes, Data Validation, Data Integration, SQL, Data Cleansing, Query Languages, Data Quality

    4.5
    Rating, 4.5 out of 5 stars
    ·
    251 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Entrepreneurship I: Laying the Foundation

    Skills you'll gain: Entrepreneurship, Value Propositions, Fundraising and Crowdsourcing, Business Development, Business Modeling, Market Opportunities, Team Building, Market Analysis, Strategic Planning, Resource Management, Customer Analysis, Leadership

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Leading Teams

    Skills you'll gain: Team Building, Teamwork, Team Management, Team Leadership, Conflict Management, Team Motivation, Collaboration, Virtual Teams, Performance Management, Organizational Structure, Leadership, Innovation, People Development, Industrial and Organizational Psychology, Diversity and Inclusion, Goal Setting, Decision Making

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    N

    New York Institute of Finance

    Introduction to Risk Management

    Skills you'll gain: Risk Management, Business Risk Management, Risk Modeling, Operational Risk, Enterprise Risk Management (ERM), Credit Risk, Risk Analysis, Portfolio Management, Capital Markets, Financial Market, Financial Regulation, Financial Modeling, Market Liquidity, Probability Distribution

    4.7
    Rating, 4.7 out of 5 stars
    ·
    832 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    M

    McMaster University

    Hacking Exercise For Health. The surprising new science of fitness.

    Skills you'll gain: Exercise Science, Kinesiology, Productivity, Cardiology, Stress Management, Time Management, Adaptability, Human Musculoskeletal System, Nutrition and Diet, Physiology, Mental Health, Goal Setting

    4.7
    Rating, 4.7 out of 5 stars
    ·
    817 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    V

    Vanderbilt University

    Java for Android

    Skills you'll gain: Android Studio, Android Development, Object Oriented Programming (OOP), Java Programming, Java, Mobile Development, Data Structures, Integrated Development Environments, Computer Programming, Debugging, Algorithms

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Introduction to AI and Machine Learning on Google Cloud

    Skills you'll gain: Generative AI, Google Cloud Platform, MLOps (Machine Learning Operations), Prompt Engineering, Tensorflow, AI Workflows, Cloud Infrastructure, Artificial Intelligence, Big Data, Model Deployment, Machine Learning, Supervised Learning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    310 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Data-Driven Decision Making (DDDM)

    Skills you'll gain: Data Storytelling, Statistical Process Controls, Data Literacy, Process Mapping, Data Ethics, Data Presentation, Data-Driven Decision-Making, Data Collection, Process Improvement, Data Visualization Software, Business Process, Business Analytics, Tableau Software, Analytics, Data Analysis, Root Cause Analysis, Minitab, Lean Methodologies, Six Sigma Methodology, Process Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    480 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    ESSEC Business School

    Negotiation Fundamentals

    Skills you'll gain: Negotiation, Active Listening, Communication, Conflict Management, Interpersonal Communications, Strategic Partnership, Relationship Building, Leadership, Value Propositions, Stakeholder Management, Decision Making, Organizational Skills

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Optical Engineering

    Skills you'll gain: Electrical Engineering, electromagnetics, Performance Tuning, Image Quality, Engineering, Scientific, and Technical Instruments, Simulation and Simulation Software, Engineering Calculations, Design Software, Image Analysis, Engineering Analysis, Computer-Aided Design, Engineering Design Process, Numerical Analysis, Electronic Components, System Design and Implementation, Systems Design, Human Factors, Applied Mathematics, Physics, System Configuration

    Build toward a degree

    4.3
    Rating, 4.3 out of 5 stars
    ·
    375 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    Y

    Yale University

    Introduction to Breast Cancer

    Skills you'll gain: Mammography, Oncology, Clinical Trials, Diagnostic Tests, Radiation Therapy, Surgery, Care Management, Preventative Care, Pathology, Patient Treatment, Biology, Patient Education And Counseling, Epidemiology, Molecular Biology

    4.9
    Rating, 4.9 out of 5 stars
    ·
    1.4K reviews

    Mixed · Course · 1 - 3 Months

1…109110111…567

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

  • International Law in Action: the Arbitration of International Disputes: Universiteit Leiden
  • Data Warehouse Fundamentals: IBM
  • Entrepreneurship I: Laying the Foundation: University of Illinois Urbana-Champaign
  • Leading Teams: University of Michigan
  • Introduction to Risk Management: New York Institute of Finance
  • Hacking Exercise For Health. The surprising new science of fitness.: McMaster University
  • Java for Android: Vanderbilt University
  • Introduction to AI and Machine Learning on Google Cloud: Google Cloud
  • Data-Driven Decision Making (DDDM): University at Buffalo
  • Negotiation Fundamentals: ESSEC Business School

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