( en | de | ru )

 

Disambiguierung von "Ziemek, Robin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Verification to Causality-based Explications.

, , , , , , und . CoRR, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Peter Ziemek

Manfred Ziemek

Gerhard Ziemek

Ralf Ziemek

Susanne Ziemek

 

Weitere Publikationen von Autoren mit dem selben Namen

Foundations of probability-raising causality in Markov decision processes., , und . CoRR, (2022)Foundations of probability-raising causality in Markov decision processes., , und . Log. Methods Comput. Sci., (2024)From Verification to Causality-based Explications., , , , , , und . CoRR, (2021)Probabilistic Causes in Markov Chains., , , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 205-221. Springer, (2021)From Verification to Causality-Based Explications (Invited Talk)., , , , , , und . ICALP, Volume 198 von LIPIcs, Seite 1:1-1:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Operational Causality - Necessarily Sufficient and Sufficiently Necessary., , , , , und . A Journey from Process Algebra via Timed Automata to Model Learning, Volume 13560 von Lecture Notes in Computer Science, Seite 27-45. Springer, (2022)On probability-raising causality in Markov decision processes., , , und . FoSSaCS, Volume 13242 von Lecture Notes in Computer Science, Seite 40-60. Springer, (2022)