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


  • U

    Universidad de los Andes

    Inteligencia Artificial: Machine learning, ética y nuevas tendencias Certificado MasterTrack®

    Skills you'll gain: Unsupervised Learning, Model Evaluation, Supervised Learning, Artificial Intelligence, Dimensionality Reduction, Probability & Statistics, Data Ethics, Linear Algebra, Responsible AI, Machine Learning, Natural Language Processing, Applied Machine Learning, Semantic Web, Machine Learning Algorithms, Decision Tree Learning, Unstructured Data, Machine Learning Methods, Probability, Scikit Learn (Machine Learning Library), Statistics

    Credit offered

    Mastertrack · 6 - 12 Months

  • G

    Google Cloud

    Smart Analytics, Machine Learning and AI on GC - 한국어

    Skills you'll gain: Google Cloud Platform, Model Deployment, Unstructured Data, Tensorflow, Applied Machine Learning, Big Data, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Jupyter, Natural Language Processing

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    ASP.NET Core Razor Pages - The Complete Guide (.NET 6)

    Skills you'll gain: ASP.NET, .NET Framework, Identity and Access Management, Full-Stack Web Development, Web Applications, Microsoft Azure, Web Development, Cloud Deployment, Application Deployment, Authorization (Computing), Authentications, Databases, Software Architecture, Payment Systems, Software Design Patterns, Data Modeling, User Interface (UI)

    Intermediate · Course · 3 - 6 Months

  • G

    Google Cloud

    運用 Vertex AI 和 Flutter 打造生成式 AI 代理

    Skills you'll gain: Google Gemini, Flutter (Software), Generative AI Agents, Generative AI, Google Cloud Platform, LLM Application, Mobile Development, Application Development, Model Deployment

    Intermediate · Course · 1 - 3 Months

  • G

    Google Cloud

    Machine Learning in the Enterprise - Italiano

    Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Business Workflow Analysis, Data Management, Google Cloud Platform, Data Governance, AI Workflows, Enterprise Modeling, Data Pipelines, Model Evaluation, Data Preprocessing, Predictive Modeling, Machine Learning

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Strategic PM using GenAI for Account Managers

    Skills you'll gain: Microsoft Copilot, Account Management, Content Management, Microsoft 365, Process Optimization, Generative AI Agents, Process Development, Business Strategy, Strategic Thinking, Project Coordination, Project Management, Business Process, AI Enablement, Responsible AI, Stakeholder Management, Change Management

    Advanced · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Work with Gemini Models in BigQuery - Português Brasileiro

    Skills you'll gain: Google Gemini, Generative AI, Google Cloud Platform, Customer Relationship Management, Predictive Modeling, SQL, Big Data, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Model Evaluation, Python Programming

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Maryland, College Park

    Digital Marketing 2

    Skills you'll gain: Pay Per Click Advertising, Marketing Analytics, Search Engine Optimization, Analytics, Big Data, Keyword Research, Google Analytics, Digital Marketing, Search Engine Marketing, Web Analytics, Google Ads, Marketing Effectiveness, A/B Testing, Apache Hadoop, Marketing Automation, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning

    Intermediate · Course · 1 - 4 Weeks

  • G

    Google Cloud

    在 Google Cloud 整合應用程式與 Gemini 1.0 Pro

    Skills you'll gain: Google Gemini, Generative AI, Prompt Engineering, Google Cloud Platform, Multimodal Prompts, Model Evaluation, Application Programming Interface (API), LLM Application, Application Development

    Beginner · Course · 1 - 4 Weeks

  • P

    Pontificia Universidad Católica de Chile

    Diplomado en Analítica de los Negocios

    Skills you'll gain: Descriptive Analytics, Business Analytics, Model Evaluation, Logistic Regression, Dimensionality Reduction, Data Mining, Statistical Methods, Data Analysis, Plot (Graphics), Statistical Modeling, Data-Driven Decision-Making, R Programming, Big Data, Predictive Modeling, Data Management, Predictive Analytics, Data Modeling, Visualization (Computer Graphics), Scientific Visualization, Data Visualization Software

    Credit offered

    Mastertrack · 6 - 12 Months

  • Status: Preview
    Preview
    G

    Google Cloud

    Responsible AI for Developers: Interpretability & Transparency - 한국어

    Skills you'll gain: Responsible AI, Data Ethics, Artificial Intelligence, AI Enablement, Model Evaluation, Model Deployment, Software Documentation

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    G

    Google Cloud

    Trabaja con Notebooks en Vertex AI

    Skills you'll gain: MLOps (Machine Learning Operations), Jupyter, Model Deployment, Google Cloud Platform, Machine Learning, Data Preprocessing, Virtual Environment, Development Environment

    Beginner · Course · 1 - 4 Weeks

1…559560561…563

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

  • Inteligencia Artificial: Machine learning, ética y nuevas tendencias Certificado MasterTrack®: Universidad de los Andes
  • Smart Analytics, Machine Learning and AI on GC - 한국어: Google Cloud
  • ASP.NET Core Razor Pages - The Complete Guide (.NET 6): Packt
  • 運用 Vertex AI 和 Flutter 打造生成式 AI 代理: Google Cloud
  • Machine Learning in the Enterprise - Italiano: Google Cloud
  • Strategic PM using GenAI for Account Managers: Microsoft
  • Work with Gemini Models in BigQuery - Português Brasileiro: Google Cloud
  • Digital Marketing 2: University of Maryland, College Park
  • 在 Google Cloud 整合應用程式與 Gemini 1.0 Pro: Google Cloud
  • Diplomado en Analítica de los Negocios: Pontificia Universidad Católica de Chile

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