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

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

Probabilistic Causes in Markov Chains.

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

Proceedings of the Automated Technology for Verification and Analysis, 2021