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

    Software Development Lifecycle

    Skills you'll gain: User Story, Agile Software Development, Software Design Patterns, Design Thinking, Software Development Methodologies, Software Design, Agile Methodology, Agile Project Management, Process Mapping, Software Engineering, Kanban Principles, Software Development Life Cycle, Software Quality Assurance, Program Development, Application Security, Scrum (Software Development), Object Oriented Design, Software Architecture, User Experience Design, Software Quality (SQA/SQC)

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

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    K

    Kennesaw State University

    Managing Cybersecurity

    Skills you'll gain: Network Security, Incident Response, Network Administration, Vulnerability Management, Cybersecurity, Contingency Planning, Cyber Governance, Cyber Attacks, Disaster Recovery, Cyber Security Policies, Security Management, Firewall, Computer Security Incident Management, Network Monitoring, General Networking, Cyber Security Strategy, Crisis Management, Vulnerability Assessments, Cyber Risk, Risk Management

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

    Beginner · Specialization · 3 - 6 Months

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

    Coursera

    Star Schemas & Track Changes

    Skills you'll gain: Star Schema, Data Warehousing, Looker (Software), Database Design, Data Mart, Data Modeling, Business Intelligence, Extract, Transform, Load, Data Integrity, Data Transformation, Performance Tuning, Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    AutoCAD Architectural Design & Residential Planning

    Skills you'll gain: Architectural Drawing, AutoCAD, Architectural Design, Technical Drawing, Engineering Drawings, Civil and Architectural Engineering, Drafting and Engineering Design, Computer-Aided Design, Building Design, As-Built Drawings, AutoCAD Civil 3D, Architectural Engineering, Structural Engineering, Electrical Wiring, Structural Analysis, Functional Design, Conceptual Design, Layout Design, Construction Estimating, 3D Modeling

    Beginner · Specialization · 1 - 3 Months

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

    University of Colorado Boulder

    Introduction to Machine Learning: Supervised Learning

    Skills you'll gain: Statistical Modeling, Data Preprocessing

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Imperial College London

    Interventions and Calibration

    Skills you'll gain: Mathematical Modeling, Epidemiology, Infectious Diseases, Model Evaluation, Simulations, Statistical Modeling, Predictive Modeling, Data Modeling, R Programming, Statistical Methods, Public Health, Probability Distribution

    4.7
    Rating, 4.7 out of 5 stars
    ·
    56 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of London

    Global Diplomacy – Diplomacy in the Modern World

    Skills you'll gain: Diplomacy, International Relations, Political Sciences, Cultural Diversity, Mediation, Intercultural Competence, Public Affairs, World History, Conflict Management, Policy Analysis

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

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Foundations of AI and Machine Learning

    Skills you'll gain: Model Deployment, Data Management, Artificial Intelligence and Machine Learning (AI/ML), Infrastructure Architecture, MLOps (Machine Learning Operations), Cloud Deployment, Artificial Intelligence, Data Security, Application Frameworks, Machine Learning, Data Preprocessing, Data Pipelines, Scalability

    4.6
    Rating, 4.6 out of 5 stars
    ·
    235 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Neuroscience and Neuroimaging

    Skills you'll gain: Magnetic Resonance Imaging, Neurology, Medical Imaging, Diagnostic Radiology, Anatomy, Image Analysis, Data Analysis, X-Ray Computed Tomography, Data Manipulation, Radiology, Analytical Skills, Experimentation, Statistical Analysis, Biomedical Technology, Advanced Analytics, Network Analysis, R Programming, Data Processing, Research Design, Statistics

    4.6
    Rating, 4.6 out of 5 stars
    ·
    3.3K reviews

    Intermediate · Specialization · 3 - 6 Months

  • 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: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Unsupervised Learning, Recommenders, Reinforcement Learning

    Skills you'll gain: Unsupervised Learning, Data Ethics, Machine Learning, Supervised Learning, Artificial Intelligence, Reinforcement Learning, Artificial Neural Networks, Deep Learning, Anomaly Detection, Dimensionality Reduction, Algorithms

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

    Beginner · Course · 1 - 4 Weeks

1…646566…567

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

  • Software Development Lifecycle: University of Minnesota
  • Managing Cybersecurity: Kennesaw State University
  • Star Schemas & Track Changes: Coursera
  • AutoCAD Architectural Design & Residential Planning: EDUCBA
  • Introduction to Machine Learning: Supervised Learning: University of Colorado Boulder
  • Interventions and Calibration: Imperial College London
  • Global Diplomacy – Diplomacy in the Modern World: University of London
  • Foundations of AI and Machine Learning: Microsoft
  • Neuroscience and Neuroimaging: Johns Hopkins University
  • Theoretical Bases of Health and Injury Management : Real Madrid Graduate School Universidad Europea

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