Skip to content Skip to footer

Research Portal of the TU Dresden

Johannes Alexander Lehmann Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- johannes_alexander.lehmann@tu-dresden.de

Identification Numbers

ORCID	0000-0001-7047-3813
Scopus author ID	58823069900

Backward Responsibility in Transition Systems Using General Power Indices

Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, p. 20320-20327 8 p.

Research output: Contribution to journal › Conference article › Contributed › peer-review

Towards a Formal Account on Negative Latency

Dubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 14 Dec 2023, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, Cham, p. 188–214 27 p. (Lecture Notes in Computer Science, Volume 14380).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (2)

Backward Responsibility in Transition Systems Using General Power Indices

Lehmann, J. A. (Speaker)

22 Feb 2024

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Computing Responsibility in Transition Systems

Lehmann, J. A. (Speaker)

28 Sept 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Counterexample-based backward responsibility in transition systems using the Shapley value

Lehmann, J. A. (Speaker)

4 Aug 2023

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited

View all activities (3)

Research Portal of the TU Dresden

Affiliations

Identification Numbers

Related content