• 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: Free Trial
    Free Trial
    U

    University at Buffalo

    Blockchain Platforms

    Skills you'll gain: Blockchain, Emerging Technologies, Distributed Computing, Microsoft Azure, FinTech, Cloud Computing Architecture, Interoperability, Cryptography, Scalability, Data Storage, Information Privacy

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

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    UBITS

    Introducción a la inteligencia emocional

    Skills you'll gain: Emotional Intelligence, Personal Development, Empathy & Emotional Intelligence, Self-Awareness, Persistence, Self-Motivation, Adaptability, Resilience, Interpersonal Communications, Cultural Diversity, Communication, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    999 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Applied Text Mining in Python

    Skills you'll gain: Text Mining, Data Preprocessing, Natural Language Processing, Pandas (Python Package), Scikit Learn (Machine Learning Library), Classification Algorithms, Feature Engineering, Data Manipulation, Python Programming, Unsupervised Learning, Supervised Learning

    4.2
    Rating, 4.2 out of 5 stars
    ·
    3.8K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad Austral

    Aprende a programar con Python

    Skills you'll gain: Software Documentation, Object Oriented Design, Unified Modeling Language, Relational Databases, Object-Relational Mapping, Software Design, Test Driven Development (TDD), Database Management, Unit Testing, Object Oriented Programming (OOP), Database Design, SQL, Debugging, Data Structures, Python Programming, JSON, File Management, Computer Programming, Programming Principles, Software Installation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    2.2K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Gen AI Foundational Models for NLP & Language Understanding

    Skills you'll gain: PyTorch (Machine Learning Library), Large Language Modeling, Embeddings, Generative AI, Natural Language Processing, Transfer Learning, Recurrent Neural Networks (RNNs), Data Ethics, Artificial Neural Networks, Classification Algorithms, Model Evaluation, Data Preprocessing, Feature Engineering

    4.4
    Rating, 4.4 out of 5 stars
    ·
    176 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Precalculus: Relations and Functions

    Skills you'll gain: Graphing, Data Analysis, R (Software), General Mathematics, Mathematical Modeling, Algebra, Applied Mathematics, Calculus

    4.7
    Rating, 4.7 out of 5 stars
    ·
    223 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Patient Safety

    Skills you'll gain: Patient Safety, Design Thinking, Change Management, Institutional Review Board (IRB), Leadership, Conflict Management, Performance Measurement, Systems Thinking, Healthcare Project Management, Solution Design, Health Systems, Data Analysis, Corrective and Preventive Action (CAPA), Value-Based Care, Continuous Quality Improvement (CQI), Quality Improvement, Risk Management, Initiative and Leadership, Data Analysis Software, Patient-centered Care

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Introducción a Lean Six Sigma

    Skills you'll gain: Lean Six Sigma, Six Sigma Methodology, Lean Methodologies, Statistical Process Controls, Quality Improvement, Process Improvement, Process Analysis, Continuous Improvement Process, Customer Analysis, Waste Minimization, Quality Management, Return On Investment, Process Mapping, Project Management, Cost Benefit Analysis

    4.8
    Rating, 4.8 out of 5 stars
    ·
    713 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    F

    Fundação Instituto de Administração

    Budgeting essentials and development

    Skills you'll gain: Budget Management, Budgeting, Financial Management, Cost Control, Performance Management, Business Strategy, Variance Analysis, Cross-Functional Collaboration, Resource Allocation, Financial Reporting, Forecasting

    4.5
    Rating, 4.5 out of 5 stars
    ·
    316 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    A

    Alberta Machine Intelligence Institute

    Machine Learning: Algorithms in the Real World

    Skills you'll gain: Supervised Learning, Data Preprocessing, Feature Engineering, Responsible AI, Machine Learning Algorithms, Data Ethics, Applied Machine Learning, Model Evaluation, Data Quality, Classification Algorithms, MLOps (Machine Learning Operations), Model Deployment, Jupyter, Data Validation, Machine Learning, Decision Tree Learning, Business Operations, Data Cleansing, Product Lifecycle Management, Project Management

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Introduction to UI Design

    Skills you'll gain: User Interface (UI) Design, Usability, Human Computer Interaction, User Experience Design, Design, Design Thinking, UI/UX Research, Design Strategies, Design Research, User Research

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    IBM

    Application Development using Microservices and Serverless

    Skills you'll gain: Cloud Deployment, Application Deployment, OpenShift, Cloud Applications, Serverless Computing, Microservices, Istio, API Gateway, Restful API, Cloud Computing, IBM Cloud, Kubernetes, Application Development, Software Architecture, Scalability, Flask (Web Framework)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    393 reviews

    Intermediate · Course · 1 - 3 Months

1…127128129…569

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

  • Blockchain Platforms: University at Buffalo
  • Introducción a la inteligencia emocional: UBITS
  • Applied Text Mining in Python: University of Michigan
  • Aprende a programar con Python: Universidad Austral
  • Gen AI Foundational Models for NLP & Language Understanding: IBM
  • Precalculus: Relations and Functions: Johns Hopkins University
  • Patient Safety: Johns Hopkins University
  • Introducción a Lean Six Sigma: Tecnológico de Monterrey
  • Budgeting essentials and development: Fundação Instituto de Administração
  • Machine Learning: Algorithms in the Real World: Alberta Machine Intelligence Institute

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