Decision Horizons in Discrete Time Undiscounted Markov Renewal Programming | IEEE Journals & Magazine | IEEE Xplore