• 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

    Agile Process, Project, and Program Controls

    Skills you'll gain: Emotional Intelligence, Agile Project Management, Program Management, Sprint Retrospectives, Project Portfolio Management, Negotiation, Agile Methodology, Project Controls, Project Risk Management, Team Leadership, Project Management, Quality Management, Leadership, Scaled Agile Framework, User Acceptance Testing (UAT), Continuous Improvement Process, Return On Investment

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Exploit Development, Malware, & Defensive Strategies

    Skills you'll gain: Exploit development, Penetration Testing, Malware Protection, Network Monitoring, Object Oriented Programming (OOP), Cyber Security Assessment, Vulnerability Scanning, Network Security, Network Protocols, Network Analysis, Scripting, Remote Access Systems, Python Programming

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Advanced · Course · 1 - 3 Months

  • C

    Coursera

    Program Resource Planning with ClickUp

    Skills you'll gain: Program Management, Diagram Design, Resource Planning, Project Planning, Project Management Software, Capacity Planning, Resource Management, Agile Methodology, Strategic Planning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    6 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: New
    New
    Status: Free Trial
    Free Trial
    R

    Real Madrid Graduate School Universidad Europea

    Theoretical Bases of Health and Injury Management

    Skills you'll gain: Kinesiology, Applied Machine Learning, Bayesian Network, Machine Learning, Data-Driven Decision-Making, Epidemiology, Load Balancing, Health Education, Data Integration, Systems Engineering, Psychological Evaluations

    Beginner · Course · 1 - 4 Weeks

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

    Pearson

    Learning Deep Learning: Unit 1

    Skills you'll gain: Deep Learning, Convolutional Neural Networks, PyTorch (Machine Learning Library), Recurrent Neural Networks (RNNs), Keras (Neural Network Library), Artificial Neural Networks, Machine Learning Methods, Artificial Intelligence and Machine Learning (AI/ML), Transfer Learning, Tensorflow, Python Programming, Data Preprocessing, Network Architecture, Classification Algorithms, Model Evaluation, Regression Analysis

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Auto Machine Learning (AutoML) Using AutoGluon

    Skills you'll gain: AWS SageMaker, Applied Machine Learning, Classification Algorithms, Model Evaluation, Machine Learning, Python Programming, Prototyping

    Beginner · Guided Project · Less Than 2 Hours

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

    University of California, Davis

    Presenting The Estimate

    Skills you'll gain: Construction Estimating, Cost Estimation, Building Information Modeling, Project Estimation, Project Risk Management, Cost Management, Project Controls, Risk Management, Verbal Communication Skills, Bidding, Architecture and Construction, Value Engineering, Project Design, Presentations, Contingency Planning

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Maryland, College Park

    Cómo combinar y analizar datos complejos

    Skills you'll gain: Data Integration, Data Ethics, R Programming, Surveys, Informed Consent, Statistical Methods, Statistical Analysis, Sampling (Statistics), Regression Analysis, Descriptive Statistics, Logistic Regression

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Pearson

    Certified Associate in Project Management (CAPM)® Exam: Unit 7

    Skills you'll gain: Requirements Elicitation, Business Analysis, Business Requirements, Requirements Analysis, Business Process, Product Roadmaps, Stakeholder Analysis, Agile Methodology, Needs Assessment, Business Communication

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Gemini for Cloud Architects

    Skills you'll gain: Google Gemini, Kubernetes, Application Deployment, Cloud Management, Cloud Infrastructure, Unix Shell, Prompt Engineering, Generative AI, Cloud Computing Architecture

    4.4
    Rating, 4.4 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Modern JavaScript from The Beginning [Second Edition]

    Skills you'll gain: Full-Stack Web Development, Javascript, Web Development Tools, Jest (JavaScript Testing Framework), Web Design and Development, Object Oriented Programming (OOP), Web Development, Application Programming Interface (API), HTML and CSS, Back-End Web Development, Web Applications, JSON, Restful API, Event-Driven Programming, Application Development, Application Deployment, Unit Testing, Programming Principles, Data Structures, Prototyping

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    INSEAD

    Blockchain Opportunity Analysis for Global Commerce

    Skills you'll gain: Blockchain, Market Opportunities, Competitive Analysis, Business Analysis, Entrepreneurship, New Business Development, Case Studies, Solution Design, Market Analysis, Project Implementation, Proposal Development, Business Strategy, Value Propositions, Feasibility Studies, Market Research, Decision Making

    Intermediate · Course · 1 - 3 Months

1…451452453…587

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

  • Agile Process, Project, and Program Controls: University of Maryland, College Park
  • Exploit Development, Malware, & Defensive Strategies: Packt
  • Program Resource Planning with ClickUp: Coursera
  • Theoretical Bases of Health and Injury Management : Real Madrid Graduate School Universidad Europea
  • Learning Deep Learning: Unit 1: Pearson
  • Auto Machine Learning (AutoML) Using AutoGluon : Coursera
  • Presenting The Estimate: University of California, Davis
  • Cómo combinar y analizar datos complejos: University of Maryland, College Park
  • Certified Associate in Project Management (CAPM)® Exam: Unit 7: Pearson
  • Gemini for Cloud Architects: 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