• 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

    IE Business School

    Globalization, Economic Growth and Stability

    Skills you'll gain: Financial Policy, International Finance, Public Policies, Economics, Economic Development, Economics, Policy, and Social Studies, Business Economics, Market Opportunities, International Relations, Tax, Global Marketing, Financial Trading, Policy Analysis, Socioeconomics, Demography, Business Risk Management, Crisis Management, Fiscal Management, World History, Supply And Demand

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Advanced Data Testing for Quality at Scale

    Skills you'll gain: Application Lifecycle Management, Azure DevOps, CI/CD, Continuous Delivery, Continuous Integration, DevOps, Data Validation, Data Governance, Data Quality, Test Automation, Extract, Transform, Load, Data Pipelines, Scalability, SQL

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Futuro de los datos y la tecnología - Echar un vistazo

    Skills you'll gain: Large Language Modeling, Image Analysis, Real Time Data, Computer Vision, Advanced Analytics, AI Enablement, Reinforcement Learning, Data Analysis, Data-Driven Decision-Making, Artificial Intelligence, Analysis, Machine Learning, Automation, Data Presentation, Natural Language Processing, Supervised Learning, Innovation

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Manchester

    Introduction to Molecular Spectroscopy

    Skills you'll gain: Analytical Chemistry, Laboratory Techniques, Chemistry, Laboratory Equipment, Vibrations, electromagnetics, Physics, Engineering Analysis, Structural Analysis, Engineering Calculations

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Introduction to Nursing Leadership

    Skills you'll gain: Clinical Leadership, Healthcare Ethics, Nursing Management, Nursing Administration, Teamwork, Leadership, Nursing Practices, Collaboration, Patient Safety, Initiative and Leadership, Care Coordination, Trustworthiness, Mentorship, Ethical Standards And Conduct, Adaptability, Emotional Intelligence, Patient-centered Care, Decision Making, Accountability, Active Listening

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    MathWorks

    Practical Data Science with MATLAB

    Skills you'll gain: Data Storytelling, Model Evaluation, Feature Engineering, Supervised Learning, Dimensionality Reduction, Data Visualization, Data Integration, Data Preprocessing, Interactive Data Visualization, Exploratory Data Analysis, Data Import/Export, Classification Algorithms, Technical Communication, Data Analysis, Plot (Graphics), Applied Machine Learning, Data Visualization Software, Matlab, Regression Analysis, Data Science

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Natural Language Processing with Sequence Models

    Skills you'll gain: Natural Language Processing, Recurrent Neural Networks (RNNs), Artificial Neural Networks, Deep Learning, Tensorflow, Text Mining, Embeddings, Applied Machine Learning

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    The Ultimate Guide to Snowpark

    Skills you'll gain: Snowflake Schema, Model Deployment, Data Pipelines, Pandas (Python Package), Data Import/Export, Data Transformation, Large Language Modeling, Data Processing, Containerization, Python Programming, MLOps (Machine Learning Operations), Application Deployment, Application Development, Data Science, Cloud Computing, SQL, Data Analysis, Machine Learning

    Intermediate · Course · 1 - 3 Months

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

    Coursera

    Optimize LLM Costs & Streamline Processes

    Skills you'll gain: Miro AI, Process Optimization, Process Improvement and Optimization, Productivity Software, Process Analysis, Business Workflow Analysis, Expense Management, Cost Management, Cost Benefit Analysis, Data-Driven Decision-Making

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    G

    Google Cloud

    생성형 AI 리더 (Generative AI Leader)

    Skills you'll gain: Prompt Engineering, Google Gemini, Responsible AI, Generative AI Agents, Retrieval-Augmented Generation, Generative AI, Google Workspace, Gemini, AI Product Strategy, Google Cloud Platform, Customer experience improvement, AI Enablement, Data Governance, Machine Learning Methods, Unstructured Data, Productivity Software, AI Security, Artificial Intelligence, Cloud Computing, Collaboration

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of London

    The Manager's Toolkit: A Practical Guide to Managing People at Work

    Skills you'll gain: People Management, Conflict Management, Smart Goals, Employee Performance Management, Performance Management, People Development, Performance Appraisal, Leadership, Decision Making, Team Motivation, Compensation Management, Behavioral Economics, Recruitment, Interviewing Skills

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

    Mixed · Course · 1 - 3 Months

  • T

    The University of Edinburgh

    The Truth About Cats and Dogs

    Skills you'll gain: Applied Behavior Analysis, Behavior Management, Cultural Diversity, General Science and Research, Scientific Methods, Caregiving, Non-Verbal Communication, Ethical Standards And Conduct, Research, Biology

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

    Mixed · Course · 1 - 3 Months

1…777879…567

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

  • Globalization, Economic Growth and Stability: IE Business School
  • Advanced Data Testing for Quality at Scale: Coursera
  • Futuro de los datos y la tecnología - Echar un vistazo : Real Madrid Graduate School Universidad Europea
  • Introduction to Molecular Spectroscopy: University of Manchester
  • Introduction to Nursing Leadership: Coursera
  • Practical Data Science with MATLAB: MathWorks
  • Natural Language Processing with Sequence Models: DeepLearning.AI
  • The Ultimate Guide to Snowpark: Packt
  • Optimize LLM Costs & Streamline Processes: Coursera
  • 생성형 AI 리더 (Generative AI Leader): Google Cloud

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