Infinite-Horizon Dynamic Programming Models—A Planning-Horizon Formulation · Study