Krishnendu Chatterjee, Laurent Doyen: Graph planning with expected finite horizon. J. Comput. Syst. Sci. 129: 1-21 (2022)