• 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 of Maryland, College Park

    Transforming with Data Analytics and Organization

    Skills you'll gain: Digital Transformation, Business Transformation, Customer experience strategy (CX), Data Strategy, Applied Machine Learning, Business Modeling, Analytics, Organizational Change, Machine Learning Software, Technology Strategies, Business Analytics, Customer Insights, Innovation, Organizational Strategy, Machine Learning, Business Strategy, Workforce Development, Strategic Decision-Making, Forecasting, Competitive Analysis

    Beginner · 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
    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: Free Trial
    Free Trial
    E

    Edureka

    Power BI Integration with AWS and Snowflake

    Skills you'll gain: Business Intelligence, Power BI, Cloud Security, Advanced Analytics, Data Management, Data Governance, Amazon Web Services, Data Integration, Data Security, Cost Control, Data Visualization Software, Cloud Computing, Data Warehousing, Data Modeling, Statistical Reporting, Amazon S3, SQL

    Intermediate · Course · 1 - 4 Weeks

  • 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, Applied Mathematics, Process Optimization, Statistical Methods, Team Building, Analysis, Model Evaluation, Case Studies

    Build toward a degree

    Beginner · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Building and Managing User Interfaces

    Skills you'll gain: Apple iOS, iOS Development, Swift Programming, Apple Xcode, Mobile Development, UI Components, User Interface (UI), Application Frameworks, Data Validation, Data Structures, Data Modeling, Animations

    Beginner · Course · 1 - 4 Weeks

  • 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: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Modern Apple Platform Admin: macOS & iOS Essentials

    Skills you'll gain: Mac OS, Application Lifecycle Management, Endpoint Security, iOS Development, Cloud Deployment, Network Administration, Security Controls, Safety and Security, Mobile Development Tools, Computer Security, General Networking, Test Planning

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Advanced Tokenization and Sentiment Analysis

    Skills you'll gain: Natural Language Processing, Data Ethics, Responsible AI, Text Mining, Large Language Modeling, Model Evaluation, Embeddings, Data Preprocessing, Transfer Learning, Artificial Intelligence and Machine Learning (AI/ML), Time Series Analysis and Forecasting, Data Analysis, Unstructured Data, Data Cleansing, Data Processing, Classification Algorithms, Deep Learning, Machine Learning Methods, Unified Modeling Language, Machine Learning Algorithms

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Data Structures and Algorithms: Merge Sort

    Skills you'll gain: Software Design Patterns, Computational Thinking, Software Design, Algorithms, Program Development, Software Development, Data Structures, Problem Solving, Computer Science, Machine Learning Methods

    Advanced · Course · 1 - 4 Weeks

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

    Packt

    Foundations of Data Science and Machine Learning with Python

    Skills you'll gain: Predictive Modeling, Matplotlib, Applied Machine Learning, Seaborn, Data Visualization, Regression Analysis, Pandas (Python Package), Statistical Machine Learning, Statistical Analysis, Machine Learning, Supervised Learning, Data Science, Scikit Learn (Machine Learning Library), Probability & Statistics, Python Programming, Unsupervised Learning, Data Analysis, Decision Tree Learning, NumPy, Data Manipulation

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    O

    O.P. Jindal Global University

    Introduction to Decision Science for Marketing

    Skills you'll gain: Marketing Analytics, Customer Analysis, Customer Retention, Predictive Analytics, Customer Insights, Data-Driven Decision-Making, Personalized Service, Marketing Strategies, Business Analytics, Customer Acquisition Management, Customer experience improvement, Loyalty Programs, Strategic Marketing, Marketing Strategy and Techniques

    Beginner · Course · 3 - 6 Months

1…454455456…588

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

  • Transforming with Data Analytics and Organization: University of Maryland, College Park
  • Deep Learning with Keras and Practical Applications: Packt
  • Agile Leadership Principles and Practices: University of Maryland, College Park
  • Power BI Integration with AWS and Snowflake: Edureka
  • Prescriptive Analytics: O.P. Jindal Global University
  • Building and Managing User Interfaces: Packt
  • DevOps to MLOps Bootcamp– Build & Deploy ML Systems: Packt
  • Modern Apple Platform Admin: macOS & iOS Essentials: Packt
  • Advanced Tokenization and Sentiment Analysis: Edureka
  • Data Structures and Algorithms: Merge Sort: Scrimba

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