Weinhuber, Christoph, et al. “Good-for-MDP State Reduction for Stochastic LTL Planning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 43, Mar. 2026, pp. 36457-65, doi:10.1609/aaai.v40i43.40967.