Weinhuber, C.; De Giacomo, G.; Li, Y.; Schewe, S.; Tang, Q. Good-for-MDP State Reduction for Stochastic LTL Planning. AAAI 2026, 40, 36457-36465.