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

    Imperial College London

    Interventions and Calibration

    Skills you'll gain: Mathematical Modeling, Epidemiology, Infectious Diseases, Model Evaluation, Simulations, Statistical Modeling, Predictive Modeling, Data Modeling, R Programming, Statistical Methods, Public Health, Probability Distribution

    4.7
    Rating, 4.7 out of 5 stars
    ·
    56 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI Language Modeling with Transformers

    Skills you'll gain: Generative AI, Large Language Modeling, PyTorch (Machine Learning Library), Generative Model Architectures, Transfer Learning, Embeddings, Natural Language Processing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    138 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    Coursera

    Building GenAI Applications and Agents

    Skills you'll gain: LangChain, Hugging Face, Prompt Engineering, Retrieval-Augmented Generation, Model Evaluation, Large Language Modeling, CrewAI, OpenAI API, Generative AI Agents, LLM Application, Vector Databases, ChatGPT, Tool Calling, Responsible AI, Embeddings, AI Enablement, AI Workflows, OpenAI, Generative AI, Python Programming

    4.2
    Rating, 4.2 out of 5 stars
    ·
    147 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Advanced Manufacturing Enterprise

    Skills you'll gain: Product Lifecycle Management, Performance Measurement, Manufacturing Operations, Supply Chain Management, Enterprise Resource Planning, Material Requirements Planning, Production Management, Data Integration, Business Process Management, Digital Transformation, Data Security, Internet Of Things, Data Management, Decision Making

    4.6
    Rating, 4.6 out of 5 stars
    ·
    642 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    The Linux Foundation

    Linux for Developers

    Skills you'll gain: Package and Software Management, Linux, Command-Line Interface, File Systems, Unix Commands, Linux Administration, Linux Commands, User Accounts, System Configuration, Performance Tuning, System Monitoring, Operating Systems, Network Monitoring, Software Installation

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Data Science Capstone

    Skills you'll gain: Exploratory Data Analysis, Model Evaluation, Predictive Modeling, Data Science, Analytical Skills, Data Analysis, Data Presentation, Data Collection, Data Storytelling, Data Cleansing, Statistical Analysis, Data Manipulation, Data Preprocessing, R Programming, Machine Learning, Natural Language Processing

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    AI and Machine Learning Algorithms and Techniques

    Skills you'll gain: Unsupervised Learning, Generative AI, Large Language Modeling, Supervised Learning, Deep Learning, LLM Application, Applied Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Reinforcement Learning, Predictive Modeling, Machine Learning Algorithms, Artificial Neural Networks, Feature Engineering, Model Evaluation, Convolutional Neural Networks, Data Preprocessing, Dimensionality Reduction

    4.7
    Rating, 4.7 out of 5 stars
    ·
    59 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    Lund University

    European Business Law: Doing Business in Europe

    Skills you'll gain: Legal Writing, Labor Law, Case Law, Arbitration, Legal Research, Labor Compliance, Regulation and Legal Compliance, Tax Compliance, Environmental Laws, Compliance Management, Business Management, Tax Laws, Commercial Laws, Financial Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    558 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Liderazgo y Pensamiento Crítico

    Skills you'll gain: Critical Thinking, Independent Thinking, Influencing, Persuasive Communication, Organizational Leadership, Self-Awareness, Decision Making, Leadership, Industrial and Organizational Psychology, Leadership and Management, Team Motivation, Leadership Development, Emotional Intelligence, Personal Development, Organizational Effectiveness, Business Leadership, Resilience, Strategic Decision-Making, Systems Thinking, Complex Problem Solving

    4.7
    Rating, 4.7 out of 5 stars
    ·
    521 reviews

    Advanced · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universiteit Leiden

    Risk in Modern Society

    Skills you'll gain: Risk Management, Business Risk Management, Operational Risk, Risk Analysis, Safety and Security, Environmental Issue, Cyber Security Strategy, Decision Making, Public Health

    4.7
    Rating, 4.7 out of 5 stars
    ·
    227 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    ITIL V4 Certification Preparation

    Skills you'll gain: Service Management, Information Technology Infrastructure Library, Customer experience improvement, IT Service Management, Service Improvement, Change Control, IT Management, Information Technology Architecture, Technical Management, Technical Services, Enterprise Architecture, Continuous Improvement Process, Service Design, Managed Services, Agile Methodology, Governance, Risk Management Framework, Quality Improvement, Organizational Structure, IT Infrastructure

    4.7
    Rating, 4.7 out of 5 stars
    ·
    398 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Innovation for Entrepreneurs: From Idea to Marketplace

    Skills you'll gain: Commercialization, Product Planning, Innovation, New Product Development, Product Development, Team Building, Product Strategy, Entrepreneurship, Design Thinking, Product Testing, Customer Insights, Business Strategies, Team Motivation, Market Opportunities, User Research, Market Research, Team Management, Business Modeling, Technology Strategies, Value Propositions

    4.6
    Rating, 4.6 out of 5 stars
    ·
    699 reviews

    Mixed · Course · 1 - 3 Months

1…184185186…569

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

  • Interventions and Calibration: Imperial College London
  • Generative AI Language Modeling with Transformers: IBM
  • Building GenAI Applications and Agents: Coursera
  • Advanced Manufacturing Enterprise: University at Buffalo
  • Linux for Developers: The Linux Foundation
  • Data Science Capstone: Johns Hopkins University
  • AI and Machine Learning Algorithms and Techniques: Microsoft
  • European Business Law: Doing Business in Europe: Lund University
  • Liderazgo y Pensamiento Crítico: Tecnológico de Monterrey
  • Risk in Modern Society : Universiteit Leiden

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