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

Formal Quality Measures for Predictors in Markov Decision Processes

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

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (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. (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

Alle Veröffentlichungen ansehen (8)