Risk probability optimization of finite horizon piecewise deterministic Markov decision processes | Synapse