Searching for ribbon-shaped paths in fair transition systems

DOI10.1007/978-3-030-99524-9_30zbMATH Open1547.68415MaRDI QIDQ6535577FDOQ6535577

Authors: Marco Bozzano, Alessandro Cimatti, Stefano Tonetta, Viktoria Vozarova 

Publication date: 23 January 2024

Recommendations

• Diagnosability of fair transition systems
• A tale of two diagnoses in probabilistic systems
• Fairness of transitions in diagnosability of discrete event systems
• Diagnosability of repairable faults
• Diagnosis in infinite-state probabilistic systems

zbMATH Keywords

model checkingdiagnosabilityliveness to safety

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• A polynomial algorithm for testing diagnosability of discrete-event systems
• SAT-Based Model Checking without Unrolling
• Diagnosability of discrete-event systems
• Title not available (Why is that?)
• Secure information flow by self-composition
• Title not available (Why is that?)
• Model checking quantitative hyperproperties
• Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
• Binary decision diagrams

This page was built for publication: Searching for ribbon-shaped paths in fair transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535577)