Continuous-time markov decision processes : Borel Space Models and General Control Strategies (2020)