Robin Ziemek

According to our database, Robin Ziemek authored at least 8 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Quality Measures for Predictors in Markov Decision Processes.

Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Probabilistic Causality in Markovian Models

Robin Ziemek

PhD thesis, 2024

Foundations of probability-raising causality in Markov decision processes.

Christel Baier, Jakob Piribauer, Robin Ziemek

Log. Methods Comput. Sci., 2024

2022

Probabilistic causes in Markov chains.

Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier

Innov. Syst. Softw. Eng., 2022

On probability-raising causality in Markov decision processes.

Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek

Proceedings of the Foundations of Software Science and Computation Structures, 2022

Operational Causality - Necessarily Sufficient and Sufficiently Necessary.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

From Verification to Causality-based Explications.

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

CoRR, 2021

From Verification to Causality-Based Explications (Invited Talk).

Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021