• 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: Preview
    Preview
    O

    O.P. Jindal Global University

    Prescriptive Analytics

    Skills you'll gain: Machine Learning Methods, Network Model, Operations Research, Mathematical Modeling, Microsoft Excel, Business Analytics, Analytics, Analytical Skills, Operational Analysis, Business Mathematics, Data-Driven Decision-Making, Process Optimization, Applied Mathematics, Statistical Methods, Team Building, Analysis, Model Evaluation, Case Studies

    Build toward a degree

    Beginner · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Como criar pipelines de dados em lote no Google Cloud

    Skills you'll gain: Data Pipelines, Data Warehousing, Dataflow, Extract, Transform, Load, Data Cleansing, Data Quality, Google Cloud Platform, Data Validation, Workflow Management, Data Processing, Apache Spark, Scalability, Data Transformation, Performance Tuning, Resource Management, Scheduling

    4.8
    Rating, 4.8 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Gemini for Network Engineers

    Skills you'll gain: Gemini, Google Cloud Platform, Virtual Networking, Network Planning And Design, Prompt Engineering Tools, General Networking, Network Engineering, Network Architecture

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Master in Microsoft Power BI Desktop and Service

    Skills you'll gain: Power BI, Data Analysis Expressions (DAX), Data Transformation, Business Intelligence, Data Modeling, Interactive Data Visualization, Data Manipulation, Dashboard, Data Visualization Software, Microsoft Excel, SQL Server Reporting Services, Data Warehousing, Data Sharing, Data Integration

    Intermediate · Course · 1 - 3 Months

  • P

    Packt

    Agile Scrum Master Certification Exam Prep (CSM)

    Skills you'll gain: Team Building, Agile Project Management, Sprint Planning, Agile Software Development, Backlogs, Team Management, Agile Methodology, Sprint Retrospectives, Project Risk Management, Project Management, Meeting Facilitation, Stakeholder Engagement, Continuous Improvement Process

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Make Continuous Improvements with Retrospective Maps in Miro

    Skills you'll gain: Sprint Retrospectives, Miro AI, Collaborative Software, Continuous Improvement Process, Stakeholder Engagement, Process Improvement, Project Controls, Project Documentation, Meeting Facilitation, Project Management, Agile Software Development

    Intermediate · Guided Project · Less Than 2 Hours

  • G

    Google Cloud

    Build, Train and Deploy ML Models with Keras on Google Cloud - 日本語版

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Model Deployment, Data Pipelines, Google Cloud Platform, Deep Learning, Cloud Deployment, Data Preprocessing, Artificial Neural Networks, Scalability, Data Transformation

    Intermediate · Course · 1 - 3 Months

  • 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: Preview
    Preview
    U

    Universidad de Palermo

    Matemática para Negocios 

    Skills you'll gain: Business Mathematics, Profit and Loss (P&L) Management, Income Statement, Graphing, Financial Analysis, Case Studies, Business Metrics, Operating Cost, Business Analysis, Financial Statements, Mathematical Modeling, Arithmetic, Cost Accounting, Algebra, Sales

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Introduction to Bayesian Statistics for Data Science

    Skills you'll gain: Bayesian Statistics, Statistical Inference, Statistical Modeling, Predictive Analytics, Statistical Methods, Data Ethics, Data Science, Probability, Regression Analysis, Probability Distribution, Calculus

    Intermediate · Course · 1 - 3 Months

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

    Dartmouth College

    Machine Learning with Neural Networks

    Skills you'll gain: Bayesian Network, Artificial Neural Networks, Convolutional Neural Networks, Deep Learning, Tensorflow, Machine Learning, Model Evaluation, Network Architecture, Algorithms, Probability Distribution

    Build toward a degree

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    Agile and Scrum Mastery: Fundamentals to Advanced Leadership

    Skills you'll gain: Agile Project Management, Stakeholder Engagement, Scrum (Software Development), Agile Methodology, Stakeholder Management, Team Motivation, Agile Software Development, Team Leadership, Sprint Retrospectives, Kanban Principles, Team Building, Sprint Planning, Risk Analysis, Agile Product Development, Earned Value Management, Team Management, Backlogs, Continuous Improvement Process, Lean Methodologies, Risk Management

    4.3
    Rating, 4.3 out of 5 stars
    ·
    14 reviews

    Beginner · Specialization · 3 - 6 Months

1…485486487…587

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

  • Prescriptive Analytics: O.P. Jindal Global University
  • Como criar pipelines de dados em lote no Google Cloud: Google Cloud
  • Gemini for Network Engineers: Google Cloud
  • Master in Microsoft Power BI Desktop and Service: Packt
  • Agile Scrum Master Certification Exam Prep (CSM): Packt
  • Make Continuous Improvements with Retrospective Maps in Miro: Coursera
  • Build, Train and Deploy ML Models with Keras on Google Cloud - 日本語版: Google Cloud
  • Decoding Large Language Models: Packt
  • Matemática para Negocios : Universidad de Palermo
  • Introduction to Bayesian Statistics for Data Science: University of Colorado Boulder

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