TY - RPRT TI - Good-for-MDP State Reduction for Stochastic LTL Planning AU - Christoph Weinhuber AU - Giuseppe De Giacomo AU - Yong Li AU - Sven Schewe AU - Qiyi Tang PY - 2025 UR - https://arxiv.org/abs/2511.09073 ID - 2511.09073 ER -