Good−for−MDP State Reduction for Stochastic LTL Planning

Christoph Weinhuber‚ Giuseppe De Giacomo‚ Yong Li‚ Sven Schewe and Qiyi Tang