Skip to content Skip to footer

Research Portal of the TU Dresden

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

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

On probability-raising causality in Markov decision processes

Baier, C., Funke, F., Piribauer, J. & Ziemek, R., 1 Jan 2022, Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Bouyer, P. & Schröder, L. (eds.). Springer, Cham, Vol. 13242. p. 40-60 21 p. (Lecture Notes in Computer Science, Volume 13242).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (7)