Mean-variance optimization of continuous time Markov decision processes | Synapse