causal abstraction 1formal verification 1Markov decision processes 1reinforcement learning 1state space reduction 1
From the 1 of 2 linked papers with an AI index.
2 papers
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…
cs.LO2024
Robust Almost-Sure Reachability in Multi-Environment MDPs
Marck van der Vegt, Nils Jansen, Sebastian Junges
Multiple-environment MDPs (MEMDPs) capture finite sets of MDPs that share the states but differ in the transition dynamics. These models form a proper subclass of partially observa…