Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Doktoringenieur Robin Ziemek Master of Science
Person

Zugehörigkeiten

Professur für Algebraische und logische Grundlagen der Informatik
- Wissenschaftliches Personal
- robin.ziemek@tu-dresden.de

Identifizierungsnummern

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

Veröffentlichungen
Aktivitäten

Probabilistic Causality in Markovian Models

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

Publikation: Hochschulschrift/Abschlussarbeit › Dissertation

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, S. 4:1–4:66 66 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

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. (Hrsg.). Springer, Berlin [u. a.], S. 27–45 19 S. (Lecture Notes in Computer Science, Volume 13560).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen

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, S. 347-367 21 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

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. (Hrsg.). Springer, Cham, Band 13242. S. 40-60 21 S. (Lecture Notes in Computer Science, Volume 13242).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (7)