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

    Packt

    Decoding Large Language Models

    Skills you'll gain: Large Language Modeling, LLM Application, Model Deployment, AI Enablement, Transfer Learning, Prompt Engineering, Generative AI, Model Evaluation, Deep Learning, Natural Language Processing, Recurrent Neural Networks (RNNs), Responsible AI, Scalability, Machine Learning, Performance Tuning, Systems Integration

    Advanced · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Advanced SAS Programming, Macros & Reporting

    Skills you'll gain: Sampling (Statistics), Logistic Regression, SAS (Software), Predictive Analytics, Automation, Data Integration, Advanced Analytics, Debugging, Statistical Programming, SQL, Statistical Methods, Report Writing, Data Manipulation, Model Evaluation, Data Analysis, Statistical Reporting, Data Access, Microsoft Excel, Analysis, Finance

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Building and Fine-Tuning LLM Applications

    Skills you'll gain: Retrieval-Augmented Generation, AI Workflows, Model Deployment, Transfer Learning, Application Deployment, Embeddings, Vector Databases, Model Evaluation

    Advanced · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universidad Nacional Autónoma de México

    Álgebra básica

    Skills you'll gain: Algebra, General Mathematics, Arithmetic, Applied Mathematics, Geometry

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Blockchain

    Skills you'll gain: Blockchain, Test Driven Development (TDD), Cryptography, Development Testing, Application Development, Transaction Processing, Emerging Technologies, Integrated Development Environments, Software Architecture, Network Protocols, Encryption, Web Applications, Program Development, Distributed Computing, Application Programming Interface (API), Microsoft Azure, FinTech, Development Environment, Web Language, Web Development Tools

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Business Data Management and Communication

    Skills you'll gain: Data Storytelling, Revenue Recognition, Data Visualization, Data Literacy, Accrual Accounting, Infographics, Cash Flows, Accounting, Data Collection, Data Quality, Business Analytics, Financial Statements, Financial Accounting, Business Analysis, Big Data, Analytics, Asset Management, Data Analysis, Intellectual Property, Network Model

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

    Intermediate · Specialization · 3 - 6 Months

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

    Coursera

    Product Intelligence: Unlock Insights for Product Success

    Skills you'll gain: Data Storytelling, Data Presentation, Data-Driven Decision-Making, Strategic Decision-Making, Product Management, Customer Insights, Data Analysis, Forecasting, A/B Testing, Business Analytics, Analytics, Prioritization, Statistical Analysis, Business Metrics, User Research, Customer Retention, Machine Learning Methods, Root Cause Analysis, Statistical Methods, Stakeholder Communications

    Intermediate · Specialization · 3 - 6 Months

  • 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: New
    New
    A

    Arizona State University

    Modern Statistical Computing and Regression Modeling in R

    Skills you'll gain: Data Storage Technologies, Statistics, Data Storage, Database Software, Statistical Hypothesis Testing, Data Manipulation

    Intermediate · Course · 1 - 4 Weeks

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

    Real Madrid Graduate School Universidad Europea

    Maximum Performance and Technology in Sports

    Skills you'll gain: Data Presentation, Matplotlib, Data Synthesis, Probability Distribution, Data Processing, Data Integration, Data Literacy, Performance Analysis, Exploratory Data Analysis, Statistical Analysis, Probability, Analysis, Image Analysis, Data Cleansing, Descriptive Analytics, Reinforcement Learning, Business Analytics, Statistical Methods, Machine Learning, Data Collection

    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

1…404142…563

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

  • Decoding Large Language Models: Packt
  • Advanced SAS Programming, Macros & Reporting: EDUCBA
  • Building and Fine-Tuning LLM Applications: Packt
  • Álgebra básica: Universidad Nacional Autónoma de México
  • Blockchain: University at Buffalo
  • Business Data Management and Communication: University of Illinois Urbana-Champaign
  • Product Intelligence: Unlock Insights for Product Success: Coursera
  • Introduction to Embedded Software Testing: Coursera
  • Natural Language Processing with Probabilistic Models: DeepLearning.AI
  • Modern Statistical Computing and Regression Modeling in R: Arizona State University

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