• 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: 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
    M

    Microsoft

    Data Management and Application Features

    Skills you'll gain: ASP.NET, Data Migration, Configuration Management, Data Validation, Database Application, Middleware, Debugging, Back-End Web Development, Database Management, Data Modeling, Restful API, Maintainability, Dependency Analysis, Performance Tuning, Software Design Patterns

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Advanced Project Operations & Automation

    Skills you'll gain: Earned Value Management, Workflow Management, Business Process Automation, Change Management, Project Management, Project Controls, Performance Measurement, Automation, Predictive Modeling, AI Enablement, Strategic Communication, Data-Driven Decision-Making, Risk Analysis, Process Improvement and Optimization, Process Optimization, Analytics, Cloud-Based Integration, Generative AI, Systems Integration, Machine Learning

    Advanced · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Foundations of Embedded Software Design

    Skills you'll gain: Embedded Software, Embedded Systems, Pseudocode, Hardware Architecture, Computer Architecture, Software Design, Systems Design, Software Design Patterns, Systems Integration, Programming Principles, Event-Driven Programming, Program Development, Real Time Data, Peripheral Devices

    Beginner · Course · 1 - 4 Weeks

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

    Real Madrid Graduate School Universidad Europea

    Maximum Performance and Technology in Sports

    Skills you'll gain: Data Presentation, Matplotlib, Data Synthesis, Probability Distribution, Data Processing, Data Integration, Data Literacy, Performance Analysis, Exploratory Data Analysis, Statistical Analysis, Probability, Applied Machine Learning, Analysis, Image Analysis, Descriptive Analytics, AI Enablement, Business Analytics, Statistical Methods, Data Collection, Machine Learning

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    N

    New York University

    Introduction to Cyber Security

    Skills you'll gain: Security Engineering, Authentications, Threat Modeling, Network Security, Public Key Infrastructure, Distributed Denial-Of-Service (DDoS) Attacks, Firewall, Cyber Attacks, Cryptography, Infrastructure Security, Cybersecurity, Cyber Security Strategy, Data Encryption Standard, Cyber Risk, Mobile Security, Enterprise Security, Computer Security, Application Security, Threat Detection, Cyber Security Policies

    4.7
    Rating, 4.7 out of 5 stars
    ·
    3.7K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    I

    Icahn School of Medicine at Mount Sinai

    Systems Biology and Biotechnology

    Skills you'll gain: Matlab, Bioinformatics, Quantitative Research, Unsupervised Learning, Data Synthesis, Research, Mathematical Modeling, Molecular Biology, Pharmacology, Science and Research, Cell Biology, Biotechnology, Biomedical Technology, Scientific Methods, Physiology, Differential Equations, Computational Logic, Biochemistry, Network Analysis, Biology

    4.4
    Rating, 4.4 out of 5 stars
    ·
    987 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Algorithms on Graphs

    Skills you'll gain: Graph Theory, Algorithms, Network Routing, Programming Principles, Social Network Analysis, Data Structures, Network Analysis, Network Model

    4.7
    Rating, 4.7 out of 5 stars
    ·
    2.3K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    Y

    Yale University

    Moral Foundations of Politics

    Skills you'll gain: Political Sciences, Policy Analysis, Social Justice, Economics, Policy, and Social Studies, Social Sciences, European History, Law, Regulation, and Compliance, Governance, Ethical Standards And Conduct, Socioeconomics, Economics

    4.9
    Rating, 4.9 out of 5 stars
    ·
    6.1K reviews

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Good with Words: Writing and Editing

    Skills you'll gain: Writing and Editing, Editing, Constructive Feedback, Concision, Writing, Organizational Skills, Proofreading, Storytelling, Productivity, Planning, Detail Oriented, Time Management, Brainstorming, Content Creation, Overcoming Obstacles, Resourcefulness, Lifelong Learning, Decision Making, Critical Thinking, Creativity

    4.7
    Rating, 4.7 out of 5 stars
    ·
    2.6K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    B

    Board Infinity

    Mastering Mindfulness: A Journey to Wellness with Headspace

    Skills you'll gain: Stress Management, Mindfulness, Emotional Intelligence, Personal Development, Resilience, Self-Awareness, Persistence, Mental Health, Goal Setting, Adaptability, Journals, Accountability

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Bioinformatics

    Skills you'll gain: Bioinformatics, Molecular Biology, Dimensionality Reduction, Unsupervised Learning, Data Analysis, Markov Model, Network Analysis, Biochemistry, Biotechnology, Life Sciences, Infectious Diseases, Microbiology, Statistical Analysis, Biology, Algorithms, Data Preprocessing, Machine Learning, Data Analysis Software, Data Mapping, Python Programming

    4.3
    Rating, 4.3 out of 5 stars
    ·
    1.3K reviews

    Beginner · Specialization · 3 - 6 Months

1…596061…566

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

  • Theoretical Bases of Health and Injury Management : Real Madrid Graduate School Universidad Europea
  • Data Management and Application Features: Microsoft
  • Advanced Project Operations & Automation: Coursera
  • Foundations of Embedded Software Design: Coursera
  • Maximum Performance and Technology in Sports: Real Madrid Graduate School Universidad Europea
  • Introduction to Cyber Security: New York University
  • Systems Biology and Biotechnology: Icahn School of Medicine at Mount Sinai
  • Algorithms on Graphs: University of California San Diego
  • Moral Foundations of Politics : Yale University
  • Good with Words: Writing and Editing: University of Michigan

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