• 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: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Introduction to Embedded Software Testing

    Skills you'll gain: Scenario Testing, Test Planning, Unit Testing, Functional Testing, Test Case, Hardware Troubleshooting

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Natural Language Processing with Probabilistic Models

    Skills you'll gain: Natural Language Processing, Markov Model, Embeddings, Text Mining, Data Preprocessing, Artificial Neural Networks, Machine Learning Methods, Algorithms, Statistical Modeling, Probability & Statistics

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Santa Cruz

    Bayesian Statistics: From Concept to Data Analysis

    Skills you'll gain: Bayesian Statistics, Statistical Inference, Statistical Methods, Probability & Statistics, Statistics, Statistical Modeling, Probability, Probability Distribution, Data Analysis, R Programming, Regression Analysis, R (Software), Microsoft Excel, Analytical Skills, Statistical Visualization, Predictive Modeling, Data Visualization, Data Modeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    3.2K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Big Data

    Skills you'll gain: Apache Spark, Model Evaluation, Apache Hadoop, Data Integration, Exploratory Data Analysis, Big Data, Classification Algorithms, Graph Theory, Data Pipelines, Database Design, Data Modeling, Regression Analysis, Data Mining, Data Management, Applied Machine Learning, Data Preprocessing, Data Presentation, Scalability, Data Processing, MongoDB

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

    Beginner · Specialization · 3 - 6 Months

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

    Coursera

    Validate LLM Embeddings for Production Use

    Skills you'll gain: Embeddings, Model Deployment, MLOps (Machine Learning Operations), Model Evaluation, Data Cleansing, Anomaly Detection, Vector Databases, System Monitoring, Verification And Validation, Legal Technology, Semantic Web, E-Commerce, Large Language Modeling, Data Validation, Unsupervised Learning, Data Manipulation, Dimensionality Reduction, Performance Metric, Cost Reduction

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    D

    Duke University

    Data Science Math Skills

    Skills you'll gain: Probability, Graphing, Algebra, Bayesian Statistics, Arithmetic, Data Science, Calculus, General Mathematics

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

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI for IT Systems Analysts and Architects

    Skills you'll gain: Prompt Engineering, Prompt Patterns, Generative AI, Systems Analysis, AI Workflows, Business Analysis, Systems Architecture, Solution Architecture, Business Process Automation, Stakeholder Analysis, Software Architecture, Consulting, Augmented and Virtual Reality (AR/VR), Systems Thinking, Responsible AI, Machine Learning, Business Communication, Project Documentation, Stakeholder Communications, Technical Consulting

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

    Beginner · Specialization · 1 - 3 Months

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

    Coursera

    Data Analysis with Excel Pivot Tables

    Skills you'll gain: Marketing Analytics, Pivot Tables And Charts, Advanced Analytics, Descriptive Statistics, Microsoft Excel, Descriptive Analytics, Data Import/Export, Spreadsheet Software, Marketing Effectiveness, Data-Driven Decision-Making, Marketing Strategies, Statistics, Data Analysis, Statistical Methods, Small Data, Data Wrangling, Data Transformation

    Beginner · Course · 1 - 4 Weeks

  • I

    IBM

    Introduction to Computer Vision and Image Processing

    Skills you'll gain: Computer Vision, Convolutional Neural Networks, Transfer Learning, Model Evaluation, Machine Learning Methods, Classification Algorithms, Machine Learning Algorithms, Visualization (Computer Graphics), Deep Learning, Feature Engineering, Network Architecture

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

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Working with large language models using Azure

    Skills you'll gain: Generative Model Architectures, ChatGPT, Semantic Web

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    TESOL Certificate, Part 2: Teach English Now!

    Skills you'll gain: Oral Comprehension, Learning Management Systems, Education Software and Technology, Digital pedagogy, Teaching, Literacy, Technology Strategies, Grammar, English Language, Language Competency, digital literacy, Language Learning, Vocabulary, Innovation

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    IBM IT Scrum Master

    Skills you'll gain: Software Development Life Cycle, User Story, Software Architecture, Agile Software Development, Scrum (Software Development), Sprint Retrospectives, DevOps, Kanban Principles, Software Design, Information Technology, Computer Hardware, Sprint Planning, Agile Product Development, Software Development Methodologies, Agile Methodology, Agile Project Management, Team Building, Risk Management, Leadership, Communication

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

    Beginner · Professional Certificate · 3 - 6 Months

1…343536…563

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

  • Introduction to Embedded Software Testing: Coursera
  • Natural Language Processing with Probabilistic Models: DeepLearning.AI
  • Bayesian Statistics: From Concept to Data Analysis: University of California, Santa Cruz
  • Big Data: University of California San Diego
  • Validate LLM Embeddings for Production Use: Coursera
  • Data Science Math Skills: Duke University
  • Generative AI for IT Systems Analysts and Architects: IBM
  • Data Analysis with Excel Pivot Tables: Coursera
  • Introduction to Computer Vision and Image Processing: IBM
  • Working with large language models using Azure: Microsoft

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