Johannes Lehmann

Aus International Center for Computational Logic
Version vom 5. März 2025, 14:47 Uhr von Johannes Lehmann (Diskussion | Beiträge) (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Johannes Lehmann

DoktorandTechnische Universität DresdenInternational Center for Computational Logic Algebraische und logische Grundlagen der Informatik

Neueste Publikationen

Komplette Publikationsliste anzeigen

Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Backward Responsibility in Transition Systems Using General Power Indices
Proceedings of the AAAI Conference on Artificial Intelligence, 2024. AAAI Press
Details
Clemens Dubslaff, Jonas Schulz, Patrick Wienhöft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann
Towards a Formal Account on Negative Latency
In Steffen, Bernhard, eds., Bridging the Gap Between AI and Reality, 188--214, 2023. Springer Nature Switzerland
Details
Komplette Publikationsliste anzeigen