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

    Northeastern University

    Machine Learning in Healthcare: Fundamentals & Applications

    Skills you'll gain: Data Mining, Health Informatics, Big Data, Applied Machine Learning, Predictive Modeling, Machine Learning, Artificial Intelligence, Random Forest Algorithm, Responsible AI, Deep Learning, Model Evaluation, Unsupervised Learning, Healthcare Industry Knowledge, Algorithms, Data Cleansing, Artificial Neural Networks

    4.7
    Rating, 4.7 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Zurich

    Sprachtechnologie in den Digital Humanities

    Skills you'll gain: Extensible Markup Language (XML), Natural Language Processing, Language Interpretation, Translation, and Studies, Multilingualism, Unstructured Data, Document Management, Data Quality, Machine Learning Methods

    4.8
    Rating, 4.8 out of 5 stars
    ·
    22 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    M

    Macquarie University

    مهارات الإكسل الخاصة بالأعمال التجارية: المستوى المتقدم

    Skills you'll gain: Dashboard, Excel Formulas, Spreadsheet Software, Data Storytelling, Data Cleansing, Microsoft Excel, Data Visualization, Data Analysis Expressions (DAX), Business Intelligence, Data Modeling, Data Validation, Data Integrity, Business Mathematics, Data Management, Finance, Automation, Depreciation

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Performance Management

    Skills you'll gain: Team Performance Management, Employee Performance Management, Team Management, Team Motivation, People Management, Performance Measurement, Performance Appraisal, Performance Analysis, Leadership and Management, Performance Improvement, Motivational Skills, Leadership Development, Communication Strategies, Constructive Feedback, Coaching

    4.6
    Rating, 4.6 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Selenium WebDriver Advanced - Complete Framework

    Skills you'll gain: Selenium (Software), Git (Version Control System), GitHub, Jenkins, Test Automation, CI/CD, Test Data, Test Script Development, Test Tools, Software Testing, IntelliJ IDEA, Test Case, Development Environment, Application Frameworks, Apache Maven, Maintainability, Debugging

    Advanced · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Data Analysis with Python Project

    Skills you'll gain: Classification Algorithms, Dimensionality Reduction, Data Analysis, Supervised Learning, Anomaly Detection, Machine Learning, Statistical Analysis, Unsupervised Learning, Data Mining, Analytics, Predictive Modeling, Model Evaluation, Regression Analysis, Exploratory Data Analysis, Project Planning, Feature Engineering

    5
    Rating, 5 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    D

    DeepLearning.AI

    Améliorez les réseaux neuronaux profonds

    Skills you'll gain: Deep Learning, Tensorflow, Model Evaluation, Applied Machine Learning, Artificial Neural Networks, Machine Learning Methods, Performance Tuning, Machine Learning, Data Validation, Debugging, Algorithms

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Predictive Modeling with Python

    Skills you'll gain: Predictive Modeling, Predictive Analytics, Statistical Methods, Data Analysis, Applied Machine Learning, Business Analytics, Statistical Analysis, Machine Learning, Scikit Learn (Machine Learning Library), Machine Learning Algorithms, Data Preprocessing, Big Data, Python Programming, Data Manipulation, Pandas (Python Package), Logistic Regression, NumPy

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Understanding the Campaign Components

    Skills you'll gain: Campaign Management, Strategic Communication, Advertising, Marketing Communications, Resource Allocation, Media Strategy, Brand Management, Earned Media, Communication Strategies, Owned Media, Public Relations, Shared Media, Key Performance Indicators (KPIs), Goal Setting, Target Audience, Research and Design, Research, Market Research

    4.4
    Rating, 4.4 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Introduction to Archaeology: Reconstruction of The Past

    Skills you'll gain: Ancient History, Anthropology, Case Studies, Social Sciences, World History, Timelines, Cultural Diversity, Research, Environment, Biology

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    T

    The State University of New York

    Data Analytics in Sports Law and Team Management

    Skills you'll gain: Event Management, Facility Management, Performance Analysis, Facility Operations, Business Analytics, Law, Regulation, and Compliance, Data-Driven Decision-Making, Analytics, Data Management, Data Analysis, Team Performance Management, Team Management, Health Technology, Data Ethics, Contract Management, Operations Management, Contract Negotiation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    30 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    Starweaver

    Foundations of Credit Analysis and Fixed Income Securities

    Skills you'll gain: Financial Statement Analysis, Credit Risk, Financial Analysis, Portfolio Risk, Market Data, Risk Analysis, Securities (Finance), Financial Data, Portfolio Management, Analysis, Risk Management, Derivatives, Business Valuation, Balance Sheet, Financial Market, Income Statement, Investments, Market Analysis, Analytics, Decision Making

    Intermediate · Course · 1 - 3 Months

1…363364365…583

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

  • Machine Learning in Healthcare: Fundamentals & Applications: Northeastern University
  • Sprachtechnologie in den Digital Humanities: University of Zurich
  • مهارات الإكسل الخاصة بالأعمال التجارية: المستوى المتقدم: Macquarie University
  • Performance Management: Packt
  • Selenium WebDriver Advanced - Complete Framework: Packt
  • Data Analysis with Python Project : University of Colorado Boulder
  • Améliorez les réseaux neuronaux profonds: DeepLearning.AI
  • Predictive Modeling with Python : Edureka
  • Understanding the Campaign Components: University of Colorado Boulder
  • Introduction to Archaeology: Reconstruction of The Past: Rice University

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