2 papers
cs.FL2026
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…
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…