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

    Google Cloud

    Build, Train and Deploy ML Models with Keras on Google Cloud - Español

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Model Deployment, Data Pipelines, Google Cloud Platform, Data Preprocessing, Deep Learning, Data Cleansing, Cloud Deployment, Machine Learning Methods, Data Transformation, Artificial Neural Networks, Model Evaluation, Application Programming Interface (API)

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Agile Leadership Principles and Practices

    Skills you'll gain: Negotiation, Leadership, Organizational Leadership, Agile Project Management, Leadership and Management, Agile Methodology, Decision Making, Meeting Facilitation, Collaboration, Cross-Functional Team Leadership, Continuous Improvement Process, Cross-Functional Collaboration, Adaptability, Change Management, Organizational Change, Goal Setting

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of California San Diego

    빅 데이터 모델링 및 관리 시스템

    Skills you'll gain: Data Modeling, Data Infrastructure, Real Time Data, Data Management, Database Systems, Data Architecture, Big Data, Data Processing, Database Management Systems, Unstructured Data, Scalability

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Washington

    머신 러닝 기초: 사례 연구 접근 방식

    Skills you'll gain: Model Evaluation, Regression Analysis, Applied Machine Learning, Machine Learning, Deep Learning, Jupyter, Supervised Learning, Predictive Analytics, Classification Algorithms, Image Analysis, Unsupervised Learning, Computer Vision, Text Mining, Natural Language Processing, Python Programming

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Deep Learning with Keras and Practical Applications

    Skills you'll gain: Exploratory Data Analysis, Model Deployment, Keras (Neural Network Library), Transfer Learning, Data Analysis, Data Preprocessing, Image Analysis, Deep Learning, Classification Algorithms, Applied Machine Learning, Computer Vision, Model Evaluation, Machine Learning, Performance Tuning

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    T

    The State University of New York

    Digital Assets

    Skills you'll gain: Digital Assets, Blockchain, FinTech, Payment Systems, Financial Regulation, Asset Management, Cryptography, Technical Standard, Governance

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    GenAI in Litigation and Dispute Resolution

    Skills you'll gain: Responsible AI, Legal Technology, Legal Research, Litigation Support, Client Services, Mediation, Legal Strategy, Generative AI, Electronic Discovery, Artificial Intelligence, AI Workflows, Document Management, Automation

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Components of Hydropower Structures

    Skills you'll gain: Mechanical Engineering, Construction, Construction Engineering, Civil Engineering, Hydraulics, Mechanical Design, Structural Engineering, Safety Standards, Hydrology, Environmental Engineering, Electrical Equipment, Construction Management, Energy and Utilities, Water Resource Management

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    MAYA Architecture - Bathroom and Kitchen Interiors

    Skills you'll gain: Autodesk Maya, 3D Modeling, 3D Assets, Computer Graphic Techniques

    5
    Rating, 5 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Modern HTML & CSS From The Beginning 2.0

    Skills you'll gain: Hypertext Markup Language (HTML), HTML and CSS, Cascading Style Sheets (CSS), Web Design, Web Design and Development, Git (Version Control System), Front-End Web Development, Browser Compatibility, Mobile Development, Javascript, Animations, User Interface (UI), Web Development Tools, Web Content Accessibility Guidelines, Typography, Semantic Web, GitHub, Version Control, Application Deployment, Development Environment

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    P

    Packt

    DevOps to MLOps Bootcamp– Build & Deploy ML Systems

    Skills you'll gain: Model Deployment, Data Preprocessing, Model Evaluation

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Training AI with Humans

    Skills you'll gain: Machine Learning, Applied Machine Learning, Research, Model Evaluation, Data Ethics, Artificial Intelligence and Machine Learning (AI/ML), Research Design, Data Collection, Surveys, Human Factors, Classification Algorithms, Experimentation, Data Quality, Statistical Analysis

    Intermediate · Course · 1 - 3 Months

1…464465466…588

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

  • Build, Train and Deploy ML Models with Keras on Google Cloud - Español: Google Cloud
  • Agile Leadership Principles and Practices: University of Maryland, College Park
  • 빅 데이터 모델링 및 관리 시스템: University of California San Diego
  • 머신 러닝 기초: 사례 연구 접근 방식: University of Washington
  • Deep Learning with Keras and Practical Applications: Packt
  • Digital Assets: The State University of New York
  • GenAI in Litigation and Dispute Resolution: Coursera
  • Components of Hydropower Structures: L&T EduTech
  • MAYA Architecture - Bathroom and Kitchen Interiors: EDUCBA
  • Modern HTML & CSS From The Beginning 2.0: Packt

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