5 citations · 6 across the 10 of their papers we have counts for
3 papers · 1 filter
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…
Responsibility in Actor-Based Systems
Christel Baier, Sascha Klüppelholz, Johannes Lehmann
The enormous growth of the complexity of modern computer systems leads to an increasing demand for techniques that support the comprehensibility of systems. This has motivated the…
Backward Responsibility in Transition Systems Using General Power Indices
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz +2
To improve reliability and the understanding of AI systems, there is increasing interest in the use of formal methods, e.g. model checking. Model checking tools produce a counterex…