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

    Sungkyunkwan University

    Using R for Regression and Machine Learning in Investment

    Skills you'll gain: Regression Analysis, Predictive Analytics, Predictive Modeling, Investment Management, Risk Analysis, Investments, R Programming, Machine Learning, Statistical Analysis, Financial Analysis, Logistic Regression, Financial Data, Algorithms

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    Packt

    Advanced Machine Learning, Big Data, and Deep Learning

    Skills you'll gain: Apache Spark, PySpark, Model Evaluation, Data Preprocessing, Keras (Neural Network Library), Transfer Learning, Deep Learning, Tensorflow, A/B Testing, Data Ethics, Convolutional Neural Networks, Machine Learning Software, Data Cleansing, Machine Learning, Recurrent Neural Networks (RNNs), MLOps (Machine Learning Operations), Artificial Intelligence, Dimensionality Reduction

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Network Implementations and Operations

    Skills you'll gain: Network Security, Disaster Recovery, General Networking, Network Administration, Authentications, Network Architecture, Vulnerability Assessments, Computer Networking, Network Infrastructure, Wireless Networks, Cybersecurity, Network Monitoring, Local Area Networks, Network Performance Management, Telecommunications, Network Protocols, Network Troubleshooting, OSI Models, Network Switches, Event Monitoring

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Pittsburgh

    Tableau, Networks & Time Series Data Visualization

    Skills you'll gain: Data Storytelling, Data Presentation, Interactive Data Visualization, Data Visualization Software, Data Visualization, Network Analysis, Tableau Software, Statistical Visualization, Network Model, Dashboard, Time Series Analysis and Forecasting, Matplotlib, Data Analysis, Seaborn, Graph Theory, Pandas (Python Package), Python Programming

    Build toward a degree

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    N

    Northeastern University

    Understanding & Influencing Workplace Behavior

    Skills you'll gain: Organizational Change, Change Management, Organizational Leadership, Business Leadership, Organizational Development, Team Leadership, Leadership, Communication Strategies, Organizational Effectiveness, Organizational Structure, Strategic Leadership, Cross-Functional Team Leadership, Team Management, Influencing, Empowerment, Culture, Innovation, Decision Making

    4.9
    Rating, 4.9 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Fundamentals of Oracle Database Performance Tuning

    Skills you'll gain: Oracle Databases, Performance Tuning, Operational Databases, System Monitoring, Database Management, SQL, Event Monitoring, Database Architecture and Administration

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Smart Analytics, Machine Learning, and AI on GCP em Português Brasileiro

    Skills you'll gain: Google Cloud Platform, Tensorflow, MLOps (Machine Learning Operations), Model Deployment, Unstructured Data, Statistical Machine Learning, Machine Learning, SQL, Data Pipelines, Jupyter, Artificial Intelligence

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Modern JavaScript with ES6

    Skills you'll gain: Data Structures, Javascript, Object Oriented Programming (OOP)

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    V

    Vanderbilt University

    The History and Relevance of the Rise of Generative AI

    Skills you'll gain: Generative AI, Generative Model Architectures, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning Algorithms

    4.9
    Rating, 4.9 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    LearnQuest

    No-Code Machine Learning and Data Science for Everyone

    Skills you'll gain: Responsible AI, Exploratory Data Analysis, Data Storytelling, Dashboard, Data Presentation, Model Evaluation, Data Literacy, No-Code Development, Business Analytics, Data Science, Business Analysis, Model Deployment, Applied Machine Learning, Data Ethics, Data Capture, MLOps (Machine Learning Operations), Machine Learning, Data Analysis, Predictive Modeling, Data Visualization

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Assessing Health Program Delivery

    Skills you'll gain: Program Evaluation, Health Assessment, Health Policy, Health Care Procedure and Regulation, Health Systems, Data Collection, Surveys, Community Health, Maternal Health, Research Design, Child Health

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Financial Modeling in Mining: Analyze & Evaluate

    Skills you'll gain: Financial Modeling, Balance Sheet, Financial Statement Analysis, Financial Statements, Revenue Forecasting, Depreciation, Capital Expenditure, Financial Analysis, Financial Forecasting, Business Valuation, International Finance, Working Capital, Business Metrics, Equities, Cash Flows, Forecasting

    4.8
    Rating, 4.8 out of 5 stars
    ·
    12 reviews

    Mixed · Course · 1 - 4 Weeks

1…469470471…588

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

  • Using R for Regression and Machine Learning in Investment: Sungkyunkwan University
  • Advanced Machine Learning, Big Data, and Deep Learning: Packt
  • Network Implementations and Operations: Packt
  • Tableau, Networks & Time Series Data Visualization: University of Pittsburgh
  • Understanding & Influencing Workplace Behavior: Northeastern University
  • Fundamentals of Oracle Database Performance Tuning: Packt
  • Smart Analytics, Machine Learning, and AI on GCP em Português Brasileiro: Google Cloud
  • Modern JavaScript with ES6: Packt
  • The History and Relevance of the Rise of Generative AI: Vanderbilt University
  • No-Code Machine Learning and Data Science for Everyone: LearnQuest

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