Tool to compute responsibility using refinement
Dataset: Code
Persons and affiliations
- Johannes Lehmann - , Chair of Algebraic and Logical Foundations of Computer Science (Creator)
- Rio Klatt - (Contributor)
Related content
- Research output
Backward Responsibility in Transition Systems Beyond Safety
Baier, C., Klatt, R., Klüppelholz, S. & Lehmann, J., 2026, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (eds.). Springer, Cham, p. 105-123 18 p. (Lecture Notes in Computer Science, Vol. 16040).Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review