On probability-raising causality in Markov decision processes

von Baier, Christel
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

Probabilistic Causes in Markov Chains

von Baier, Christel
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)