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


  • C

    Coursera

    Data Balancing with Gen AI: Credit Card Fraud Detection

    Skills you'll gain: Generative Adversarial Networks (GANs), Generative AI, Fraud detection, Keras (Neural Network Library), Tensorflow, Data Preprocessing, Deep Learning, Dimensionality Reduction, Exploratory Data Analysis, Anomaly Detection, Data Visualization, Data Synthesis, Python Programming

    4.1
    Rating, 4.1 out of 5 stars
    ·
    9 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    D

    DeepLearning.AI

    Améliorez les réseaux neuronaux profonds

    Skills you'll gain: Deep Learning, Tensorflow, Model Evaluation, Applied Machine Learning, Artificial Neural Networks, Machine Learning Methods, Performance Tuning, Machine Learning, Data Validation, Debugging, Algorithms

    Beginner · 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, Applied Machine Learning, Analysis, Image Analysis, Descriptive Analytics, AI Enablement, Business Analytics, Statistical Methods, Data Collection, Machine Learning

    Beginner · Specialization · 3 - 6 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: Preview
    Preview
    L

    LearnQuest

    Introduction to Docker

    Skills you'll gain: Docker (Software), Containerization, Microservices, CI/CD, DevOps, Application Deployment, YAML, Software Development, System Monitoring, Data Persistence, Application Security, Virtual Networking, Command-Line Interface

    3.3
    Rating, 3.3 out of 5 stars
    ·
    9 reviews

    Beginner · 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

    Using Animations and Transitions in Microsoft PowerPoint

    Skills you'll gain: Data Visualization, Microsoft Office, Quick Learning, Data Literacy, Communication, Business Strategy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • P

    Packt

    Alteryx Advanced

    Skills you'll gain: Data Cleansing, Data Manipulation, Advanced Analytics, Applied Machine Learning, Data Wrangling, Fraud detection, Data Transformation, Predictive Modeling, Machine Learning, Data Pipelines, Data Preprocessing, Feature Engineering, Sampling (Statistics), Data Integration, Model Evaluation, Workflow Management, Complex Problem Solving

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    NVIDIA: LLM Experimentation, Deployment, and Ethical AI

    Skills you'll gain: Responsible AI, Data Ethics, Generative AI, Large Language Modeling, Artificial Intelligence, AI Workflows, PyTorch (Machine Learning Library), AI Security, MLOps (Machine Learning Operations), Tensorflow, Information Privacy, Model Deployment, Machine Learning, A/B Testing, Version Control, Performance Tuning

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Digital Trends: AI, Metaverse, Persuasive Tech & Blockchain

    Skills you'll gain: Digital Transformation, Blockchain, Data Ethics, Emerging Technologies, Artificial Intelligence, Digital Assets, Artificial Neural Networks, Social Media, Business Modeling, Web Development, Deep Learning, Persuasive Communication, Human Computer Interaction, Algorithms, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    F

    Fundação Instituto de Administração

    Pesquisa de Mercado e Estratégia de Marketing

    Skills you'll gain: Quantitative Research, Qualitative Research, Marketing Analytics, Market Analysis, Market Research, Survey Creation, Exploratory Data Analysis, Marketing Strategies, Sampling (Statistics), Strategic Marketing, Marketing Management, Data Collection, Market Intelligence, Business Research, Forecasting, Strategic Decision-Making, Data Analysis, Predictive Modeling, Analysis, Marketing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    37 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    B

    Board Infinity

    Generative AI in Software Development

    Skills you'll gain: Retrieval-Augmented Generation, Google Gemini, Engineering Software, Responsible AI, Embeddings, Gemini, Software Development Tools, AI Workflows

    Beginner · Course · 1 - 4 Weeks

1…408409410…584

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

  • Data Balancing with Gen AI: Credit Card Fraud Detection: Coursera
  • Améliorez les réseaux neuronaux profonds: DeepLearning.AI
  • Maximum Performance and Technology in Sports: Real Madrid Graduate School Universidad Europea
  • Beginning Llamafile for Local Large Language Models (LLMs): Duke University
  • Introduction to Docker: LearnQuest
  • A starter’s guide to Open Science: Erasmus University Rotterdam
  • Using Animations and Transitions in Microsoft PowerPoint: Coursera
  • Alteryx Advanced: Packt
  • NVIDIA: LLM Experimentation, Deployment, and Ethical AI: Whizlabs
  • Digital Trends: AI, Metaverse, Persuasive Tech & Blockchain: University of California, Davis

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