TY - RPRT TI - Property-driven Causal Abstractions for Markov Decision Processes AU - Jule Schmidt AU - Maximilian Weininger AU - Clemens Dubslaff AU - David Parker AU - Nils Jansen PY - 2026 UR - https://arxiv.org/abs/2607.26787 ID - 2607.26787 ER -