Property-driven Causal Abstractions for Markov Decision Processes

Jule Schmidt, Maximilian Weininger, Clemens Dubslaff +2

Markov Decision Processes (MDPs) are widely used as decision-making models, commonly specified over factored state spaces through state variables and their valuations. The exponent…