Robin Ziemek
From International Center for Computational Logic
Dr.-Ing. Robin Ziemek
Research Associate Algebraic and Logical Foundations of Computer Science
Newest Publications
Christel Baier, Jakob Piribauer, Robin Ziemek
Foundations of probability-raising causality in Markov decision processes
Logical Methods in Computer Science, 20(1), 2024
Details
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
Probabilistic Causes in Markov Chains
Innovations in Systems and Software Engineering, 2022
Details
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
On probability-raising causality in Markov decision processes
In Bouyer, Patricia and Schröder, Lutz, eds., Foundations of Software Science and Computation Structures, 40--60, 2022. Springer International Publishing
Details
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary
In Nils Jansen and Mariëlle Stoelinga and Petra van den Bos, eds., A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, volume 13560 of Lecture Notes in Computer Science, 27--45, 2022. Springer
Details
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
From Verification to Causality-Based Explications
In Bansal, Nikhil and Merelli, Emanuela and Worrell, James, eds., 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), volume 198 of Leibniz International Proceedings in Informatics (LIPIcs), 1:1--1:20, 2021. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
Details
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Probabilistic Causes in Markov Chains
In Hou, Zhe and Ganesh, Vijay, eds., Automated Technology for Verification and Analysis, Lecture Notes in Computer Science, 205--221, 2021. Springer International Publishing
Details
