From Verification to Causality-Based Explications (Invited Talk). - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Rupak Majumdar; Jakob Piribauer; Robin Ziemek (ICALP, 2021)

From Verification to Causality-based Explications. - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Rupak Majumdar; Jakob Piribauer; Robin Ziemek (CoRR, 2021)

Operational Causality - Necessarily Sufficient and Sufficiently Necessary. - Christel Baier; Clemens Dubslaff; Florian Funke 002; Simon Jantsch; Jakob Piribauer; Robin Ziemek (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

On probability-raising causality in Markov decision processes. - Christel Baier; Florian Funke 002; Jakob Piribauer; Robin Ziemek (FoSSaCS, 2022)

Probabilistic causes in Markov chains. - Robin Ziemek; Jakob Piribauer; Florian Funke 002; Simon Jantsch; Christel Baier (Innov. Syst. Softw. Eng., 2022)

Foundations of probability-raising causality in Markov decision processes. - Christel Baier; Jakob Piribauer; Robin Ziemek (Log. Methods Comput. Sci., 2024)

Probabilistic Causality in Markovian Models - Robin Ziemek (2024)

Formal Quality Measures for Predictors in Markov Decision Processes. - Christel Baier; Sascha Klüppelholz; Jakob Piribauer; Robin Ziemek (AAAI, 2025)