Problem
Research questions and friction points this paper is trying to address.
Faster symbolic MEC decomposition for MDPs
Interleaving SCC computation with redundant pair elimination
Empirically outperforms prior algorithms in speed and benchmarks solved
Innovation
Methods, ideas, or system contributions that make the work stand out.
Interleaving SCC computation with eager elimination
Symbolic algorithm for MEC decomposition
Faster runtime with same complexity