Tool to compute responsibility using refinement
Forschungsdaten: Software
Personen und Einrichtungen
- Johannes Lehmann - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Rio Klatt - (Mitwirkende:r)
Verknüpfte Inhalte
- Veröffentlichungen
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. (Hrsg.). Springer, Cham, S. 105-123 18 S. (Lecture Notes in Computer Science, Band 16040).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung