Technical Note—An Equivalence Between Continuous and Discrete Time Markov Decision Processes | Synapse