• 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 with Small Data Part 1

    Skills you'll gain: Transfer Learning, Small Data, Deep Learning, Applied Machine Learning, PyTorch (Machine Learning Library), Data Preprocessing, Unsupervised Learning, Machine Learning, Generative AI, Data Synthesis, Supervised Learning, Model Evaluation

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    S

    Starweaver

    Legal and Ethical Cyber Investigations

    Skills you'll gain: Digital Forensics, Electronic Discovery, Investigation, Criminal Investigation and Forensics, Incident Response, Cyber Threat Intelligence, Technical Communication, Computer Security Incident Management, Report Writing, Cybersecurity, Cyber Security Policies, Fraud detection, Legal Proceedings, Law, Regulation, and Compliance, Ethical Standards And Conduct, Business Ethics, Compliance Reporting, Data Collection, Analysis, Management Reporting

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    B

    Banco Interamericano de Desarrollo

    What to Finance in Health and at What Price?

    Skills you'll gain: Health Policy, Health Equity, Health Systems, Health Care, Public Health, Governance, Prioritization, Policy Analysis, Stakeholder Engagement, Cost Benefit Analysis, Price Negotiation, Resource Allocation, Ethical Standards And Conduct, Decision Making, Market Dynamics

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Mastering Agile: Apply & Adapt Principles for Value Delivery

    Skills you'll gain: Agile Methodology, Agile Software Development, Agile Project Management, Kanban Principles, Agile Product Development, Scrum (Software Development), Lean Methodologies, Sprint Retrospectives, Backlogs, Sprint Planning, Continuous Improvement Process, Stakeholder Engagement, Prioritization

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Coursera

    GenAI for Financial Controllers: Boosting Budget Accuracy

    Skills you'll gain: Financial Data, Financial Forecasting, Management Reporting, Dashboard, Budgeting, Financial Management, Predictive Modeling, Advanced Analytics, Forecasting, Power BI, AI Enablement, Generative AI, Tableau Software, Financial Modeling, Artificial Intelligence, Microsoft Excel, Financial Analysis, Data Visualization Software, Automation, Data Visualization

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    O

    O.P. Jindal Global University

    Introduction to Data Science (Public Policy)

    Skills you'll gain: Web Scraping, Research Design, Matplotlib, Research, Data Ethics, Data Processing, Data Collection, Seaborn, Text Mining, Data Science, Data Visualization Software, Pandas (Python Package), JSON, Application Programming Interface (API), Data Analysis, Python Programming, Natural Language Processing

    Build toward a degree

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Dikkat Mekanizması

    Skills you'll gain: Recurrent Neural Networks (RNNs), Machine Learning Methods, Artificial Neural Networks, Applied Machine Learning, Large Language Modeling, Text Mining

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Ethical Hacking with Kali Linux: Analyze & Apply

    Skills you'll gain: Penetration Testing, Exploitation techniques, Cyber Security Assessment, Brute-force attacks, Vulnerability Assessments, Authentications, Wireless Networks, Network Security, Linux, Encryption, Microsoft Windows, Cryptography, Operating Systems

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Backup Management and Recovery Scenarios

    Skills you'll gain: Disaster Recovery, Relational Databases, Database Architecture and Administration, Oracle Databases, Data Storage Technologies, Data Migration, Key Management, Data Integrity, Encryption, Data Loss Prevention, Data Security

    Advanced · Course · 1 - 3 Months

  • Status: Preview
    Preview
    G

    Google Cloud

    Attention Mechanism - Français

    Skills you'll gain: Recurrent Neural Networks (RNNs), Large Language Modeling, Applied Machine Learning, Machine Learning Methods, Artificial Neural Networks, Embeddings

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    El futuro de los medios deportivos y los retos futuros

    Skills you'll gain: Storytelling, Media and Communications, Augmented and Virtual Reality (AR/VR), Revenue Management, Brand Management, Trend Analysis, Content Strategy, Sustainability Reporting, Augmented Reality, New Product Development, Marketing Strategy and Techniques, Innovation, Digital Transformation, Game Theory, People Analytics, Metadata Management, Digital Design, Open Source Technology, 3D Modeling, Artificial Intelligence

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Visual Design of UI & Backends with AWS Amplify Studio

    Skills you'll gain: Authentications, UI Components, Full-Stack Web Development, Authorization (Computing), File Management, React.js, Application Deployment, Development Environment, JavaScript Frameworks, Web Applications, Amazon Web Services, User Interface (UI), Software Development Tools, Content Management, Data Modeling

    Intermediate · Course · 3 - 6 Months

1…534535536…566

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

  • Machine Learning with Small Data Part 1: Northeastern University
  • Legal and Ethical Cyber Investigations : Starweaver
  • What to Finance in Health and at What Price?: Banco Interamericano de Desarrollo
  • Mastering Agile: Apply & Adapt Principles for Value Delivery: EDUCBA
  • GenAI for Financial Controllers: Boosting Budget Accuracy: Coursera
  • Introduction to Data Science (Public Policy): O.P. Jindal Global University
  • Dikkat Mekanizması: Google Cloud
  • Ethical Hacking with Kali Linux: Analyze & Apply: EDUCBA
  • Advanced Backup Management and Recovery Scenarios: Packt
  • Attention Mechanism - Français: Google Cloud

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