Scaling MDP Reasoning via Property-Driven Causal Abstractions

To mitigate the exponential state-space explosion in Markov Decision Processes, this technique uses causal relations over state variable predicates to identify states sharing identical abstraction properties. The method retains core model characteristics while significantly reducing computational complexity for reasoning tasks.