works on
causal abstraction 1formal verification 1Markov decision processes 1reinforcement learning 1state space reduction 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.AI2026

Property-driven Causal Abstractions for Markov Decision Processes

Jule Schmidt, Maximilian Weininger, Clemens Dubslaff +2

The paper proposes a property-driven causal abstraction method for factored Markov Decision Processes that groups states sharing the same causal reasons for satisfying or violating…