Markovian decision process