Finite State Continuous Time Markov Decision Processes with a Finite Planning Horizon | Synapse