Tootfinder

Backward Responsibility in Transition Systems Beyond Safety
Christel Baier, Rio Klatt, Sascha Kl\"uppelholz, Johannes Lehmann
https://arxiv.org/abs/2506.05192

Backward Responsibility in Transition Systems Beyond Safety
As the complexity of software systems rises, methods for explaining their behaviour are becoming ever-more important. When a system fails, it is critical to determine which of its components are responsible for this failure. Within the verification community, one approach uses graph games and the Shapley value to ascribe a responsibility value to every state of a transition system. As this is done with respect to a specific failure, it is called backward responsibility. This paper provides ti…