Robin Ziemek

13 papers A* 2B 2Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formal Quality Measures for Predictors in Markov Decision Processes.
AAAI
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
2024 J jnl
Formal Quality Measures for Predictors in Markov Decision Processes.
CoRR
Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek
2024 J jnl
Foundations of probability-raising causality in Markov decision processes.
Log. Methods Comput. Sci.
Christel Baier, Jakob Piribauer, Robin Ziemek
2024 — —
Probabilistic Causality in Markovian Models
Robin Ziemek
2022 J jnl
Foundations of probability-raising causality in Markov decision processes.
CoRR
Christel Baier, Jakob Piribauer, Robin Ziemek
2022 B conf
On probability-raising causality in Markov decision processes.
FoSSaCS
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
2022 J jnl
On probability-raising causality in Markov decision processes.
CoRR
Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek
2022 — conf
Operational Causality - Necessarily Sufficient and Sufficiently Necessary.
A Journey from Process Algebra via Timed Automata to Model Learning
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
2022 J jnl
Probabilistic causes in Markov chains.
Innov. Syst. Softw. Eng.
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
2021 A* conf
From Verification to Causality-Based Explications (Invited Talk).
ICALP
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021 J jnl
From Verification to Causality-based Explications.
CoRR
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021 B conf
Probabilistic Causes in Markov Chains.
ATVA
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
2021 J jnl
Probabilistic causes in Markov chains.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek