Johannes Lehmann: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 3: | Zeile 3: | ||
|Nachname=Lehmann | |Nachname=Lehmann | ||
|Forschungsgruppe=Verifikation und formale quantitative Analyse | |Forschungsgruppe=Verifikation und formale quantitative Analyse | ||
|Stellung= | |Stellung=Doktorand | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
|Email=johannes_alexander.lehmann@tu-dresden.de | |Email=johannes_alexander.lehmann@tu-dresden.de | ||
|Raum=3008 | |Raum=APB 3008 | ||
|Bild=5L0A6793.jpg | |Bild=5L0A6793.jpg | ||
|DBLP=https://dblp.org/pid/277/9252.html | |DBLP=https://dblp.org/pid/277/9252.html | ||
Version vom 17. Februar 2025, 10:27 Uhr
„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.
Johannes Lehmann
Doktorand Verifikation und formale quantitative Analyse
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
