Robin Ziemek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Formal Quality Measures for Predictors in Markov Decision Processes. | Christel Baier, Sascha Klppelholz, Jakob Piribauer, Robin Ziemek |
| 2022 | FOSSACS | On probability-raising causality in Markov decision processes. | Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek |
| 2021 | ATVA | Probabilistic Causes in Markov Chains. | Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek |
| 2021 | ICALP | From Verification to Causality-Based Explications (Invited Talk). | Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek |