Backward Responsibility in Transition Systems Beyond Safety

Christel Baier, Rio Klatt, Sascha Klüppelholz +2

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…