C. Weinhuber, G. De Giacomo, Y. Li, S. Schewe, and Q. Tang, “Good-for-MDP State Reduction for Stochastic LTL Planning”, AAAI, vol. 40, no. 43, pp. 36457–36465, Mar. 2026.