Doktoringenieur Robin Ziemek Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- robin.ziemek@tu-dresden.de

Identification Numbers

ORCID	0000-0002-8490-1433
Scopus author ID	57223750416

Probabilistic Causality in Markovian Models

Ziemek, R., 23 Sept 2024, 162 p.

Research output: Types of thesis › Doctoral thesis

Foundations of probability-raising causality in Markov decision processes

Baier, C., Piribauer, J. & Ziemek, R., 19 Jan 2024, In: Logical methods in computer science : LMCS. 20, 1, p. 4:1–4:66 66 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

Formal Quality Measures for Predictors in Markov Decision Processes

Baier, C., Klüppelholz, S., Piribauer, J. & Ziemek, R., 2024.

Research output: Preprint/Documentation/Report › Preprint

Operational causality – Necessarily sufficient and sufficiently necessary

Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, Berlin [u. a.], p. 27–45 19 p. (Lecture Notes in Computer Science, Volume 13560).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed

Probabilistic causes in Markov Chains

Ziemek, R., Piribauer, J., Funke, F., Jantsch, S. & Baier, C., 25 Apr 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 347-367 21 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (8)