Showing 2024Show all
2 papers · 1 filter
cs.FL2024
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…
cs.FL2024
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…