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


  • P

    Packt

    Architecting AI Solutions – Scalable GenAI Systems

    Skills you'll gain: Generative AI, Cloud Deployment, AI Security, Scalability, Cloud-Native Computing, Application Design, Model Deployment, Systems Architecture, Load Balancing, Maintainability, Capacity Management, Artificial Intelligence and Machine Learning (AI/ML), Software Architecture, Containerization, Responsible AI, System Monitoring, Disaster Recovery

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    C

    Coursera

    Visio for Professionals: Diagrams & Flowchart Design

    Skills you'll gain: Microsoft Visio, Process Flow Diagrams, Diagram Design, Collaborative Software, Process Design, Data Visualization, Process Mapping, Workflow Management, Business Process, Business Workflow Analysis, Organizational Structure, Real Time Data, Collaboration, Data Integration

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Physics of Geometrical and Physical Optics

    Skills you'll gain: Physics, Applied Mathematics, Geometry, Engineering Analysis, Advanced Mathematics, Physical Science, Mathematical Modeling, Trigonometry, Calculus, Algebra, Mathematical Theory & Analysis, Problem Solving

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Responsible AI for Developers: Privacy & Safety

    Skills you'll gain: AI Security, Responsible AI, Information Privacy, Generative AI, Data Ethics, Google Cloud Platform, Data Loss Prevention, Data Security, Cloud Security, Safety and Security, Data Governance, Model Evaluation, Encryption

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    D

    Duke University

    Beginning Llamafile for Local Large Language Models (LLMs)

    Skills you'll gain: LLM Application, Large Language Modeling, Model Deployment, Embeddings, Application Programming Interface (API), Restful API, Natural Language Processing, Command-Line Interface, Machine Learning

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Practical Neuromarketing Research

    Skills you'll gain: Research, Research Design, Consumer Behaviour, Influencing, Persuasive Communication, Ethical Standards And Conduct, Marketing Psychology, Behavioral Economics, Biomedical Technology, Experimentation, Neurology, Marketing, Data Analysis, Statistical Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    W

    Whizlabs

    AWS: Machine Learning & MLOps Foundations

    Skills you'll gain: MLOps (Machine Learning Operations), Data Preprocessing, AWS SageMaker, Model Evaluation, Model Deployment, Artificial Intelligence and Machine Learning (AI/ML), Amazon Web Services, Predictive Modeling, Machine Learning, Supervised Learning, Data Transformation, Unsupervised Learning, Classification Algorithms

    4.3
    Rating, 4.3 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Clemson University

    Database Management Systems

    Skills you'll gain: Database Design, Database Management Systems, MySQL, Database Theory, Relational Databases, Databases, Data Modeling, Database Architecture and Administration, SQL, NoSQL, Diagram Design

    Build toward a degree

    4.5
    Rating, 4.5 out of 5 stars
    ·
    41 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Chatbots

    Skills you'll gain: Amazon Web Services, Tensorflow, Applied Machine Learning, Machine Learning Methods, Natural Language Processing, Classification Algorithms, Software Design, Application Development, Supervised Learning, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    A starter’s guide to Open Science

    Skills you'll gain: Data Sharing, Educational Materials, Education and Training, General Science and Research, Science and Research, Scientific Methods, Research, Research Design, Research Methodologies, Experimentation, Peer Review, Data Access, Ethical Standards And Conduct, Data Store, Interoperability, Metadata Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    18 reviews

    Mixed · Course · 1 - 3 Months

  • C

    Coursera

    How to Innovate with the Strategy Canvas for Competitiveness

    Skills you'll gain: Business Strategy, Strategic Thinking, Value Propositions, Competitive Analysis, Entrepreneurship, New Business Development, Market Research, Innovation, Strategic Planning, Organizational Strategy, Spreadsheet Software, Leadership

    4.4
    Rating, 4.4 out of 5 stars
    ·
    14 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Data Collection and Root Cause Analysis

    Skills you'll gain: Root Cause Analysis, Correlation Analysis, Regression Analysis, Data Collection, Descriptive Statistics, Statistical Hypothesis Testing, Statistical Analysis, Process Analysis, Six Sigma Methodology, Lean Six Sigma, Data Analysis, Process Improvement, Statistical Inference, Pareto Chart

    4.2
    Rating, 4.2 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

1…374375376…583

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

  • Architecting AI Solutions – Scalable GenAI Systems: Packt
  • Visio for Professionals: Diagrams & Flowchart Design: Coursera
  • Physics of Geometrical and Physical Optics: Rice University
  • Responsible AI for Developers: Privacy & Safety: Google Cloud
  • Beginning Llamafile for Local Large Language Models (LLMs): Duke University
  • Practical Neuromarketing Research: Johns Hopkins University
  • AWS: Machine Learning & MLOps Foundations: Whizlabs
  • Database Management Systems: Clemson University
  • Chatbots: Johns Hopkins University
  • A starter’s guide to Open Science: Erasmus University Rotterdam

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