semi-Markov decision process