• 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

    Snowflake for Data Science: Intro to Snowpark ML for Python

    Skills you'll gain: Model Deployment, Data Preprocessing, Applied Machine Learning, Machine Learning Methods, Machine Learning, Predictive Modeling, Feature Engineering, Data Pipelines, Data Transformation, Data Science, Python Programming, Regression Analysis

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    I

    Indian Institute for Human Settlements

    Writing and Disseminating Grey Literature

    Skills you'll gain: Editing, Storytelling, Photography, Content Creation, Infographics, Writing, Media and Communications, Social Media, Research, Instagram

    4.8
    Rating, 4.8 out of 5 stars
    ·
    9 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free
    Free
    D

    DeepLearning.AI

    Function-Calling and Data Extraction with LLMs

    Skills you'll gain: LLM Application, Tool Calling, AI Workflows, Hugging Face, Unstructured Data, SQL, Web Services, Prompt Engineering, AI Enablement, Database Management, Restful API, Data Processing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    27 reviews

    Intermediate · Project · Less Than 2 Hours

  • Status: Free
    Free
    C

    Coursera

    3D Models with Adobe Photoshop: Design a Pickleball Paddle

    Skills you'll gain: Graphic and Visual Design, Graphic Design, Graphic and Visual Design Software, Design, Adobe Photoshop, Creative Design, Typography, 3D Modeling, 3D Assets, Color Theory, Visualization (Computer Graphics), Color Matching, Computer Graphics, Computer Graphic Techniques

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    A

    Arizona State University

    Putting it All Together: Problem-Solve Like an Entrepreneur

    Skills you'll gain: Lean Methodologies, Design Thinking, Innovation, Entrepreneurship, Customer Analysis, Solution Design, Customer Insights, Market Research, User Feedback, Presentations

    4.7
    Rating, 4.7 out of 5 stars
    ·
    19 reviews

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    Zero to Hero: Master Java SpringBoot & JPA with Projects

    Skills you'll gain: Spring Boot, Hibernate (Java), Object-Relational Mapping, GitHub, Git (Version Control System), Java, Software Documentation, JUnit, Restful API, Application Performance Management, API Design, Model View Controller, Postman API Platform, User Accounts

    4.1
    Rating, 4.1 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    Azure ML: Designing and Preparing Machine Learning Solutions

    Skills you'll gain: Model Deployment, Data Management, Data Pipelines, Statistical Modeling

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Azure DevOps and Continuous Delivery with Git

    Skills you'll gain: Azure DevOps, Azure DevOps Pipelines, Continuous Delivery, CI/CD, DevOps, Test Planning, Continuous Integration, Git (Version Control System), Agile Software Development, YAML, Continuous Deployment, GitHub, Agile Methodology, Test Case, Microsoft Azure, Version Control, Agile Project Management, Sprint Planning, Code Review

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universidad de Palermo

    Business Intelligence & Analytics

    Skills you'll gain: Business Intelligence, Data Governance, Data Storytelling, Business Analytics, Looker (Software), Performance Measurement, Data Visualization, Key Performance Indicators (KPIs), Business Metrics, Data Modeling, Data Warehousing, General Data Protection Regulation (GDPR), Digital Transformation, Emerging Technologies, Star Schema, Data Mart, Data Quality, Talent Management, Team Building, Data-Driven Decision-Making

    Beginner · Course · 1 - 4 Weeks

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

    Pearson

    Introduction to Transformer Models for NLP

    Skills you'll gain: Vision Transformer (ViT), Prompt Engineering, PyTorch (Machine Learning Library), Model Deployment, Transfer Learning, Hugging Face, Natural Language Processing, MLOps (Machine Learning Operations), Large Language Modeling, Cloud Deployment, Computer Vision, Generative AI, Image Analysis, Application Deployment, Generative Model Architectures, Embeddings, Data Preprocessing, Model Evaluation

    Intermediate · Specialization · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    D

    Duke University

    Building Financial Models for Entrepreneurs

    Skills you'll gain: Financial Modeling, Entrepreneurial Finance, Financial Forecasting, Capital Budgeting, Entrepreneurship, Cash Flow Forecasting, Financial Data, Financial Analysis, Business Modeling, Finance, Negotiation, Investments, Microsoft Excel

    5
    Rating, 5 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Modern AI Models for Vision and Multimodal Understanding

    Skills you'll gain: Vision Transformer (ViT), Recurrent Neural Networks (RNNs), Multimodal Prompts, Artificial Intelligence and Machine Learning (AI/ML), Embeddings, Digital Signal Processing, Transfer Learning

    Build toward a degree

    4.3
    Rating, 4.3 out of 5 stars
    ·
    6 reviews

    Advanced · Course · 1 - 4 Weeks

1…430431432…587

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

  • Snowflake for Data Science: Intro to Snowpark ML for Python: Coursera
  • Writing and Disseminating Grey Literature: Indian Institute for Human Settlements
  • Function-Calling and Data Extraction with LLMs: DeepLearning.AI
  • 3D Models with Adobe Photoshop: Design a Pickleball Paddle: Coursera
  • Putting it All Together: Problem-Solve Like an Entrepreneur: Arizona State University
  • Zero to Hero: Master Java SpringBoot & JPA with Projects: Packt
  • Azure ML: Designing and Preparing Machine Learning Solutions: Whizlabs
  • Azure DevOps and Continuous Delivery with Git: Packt
  • Business Intelligence & Analytics: Universidad de Palermo
  • Introduction to Transformer Models for NLP: Pearson

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