Constrained Markov decision processes with first passage criteria · Study