@article{Rabe_2013,
    doi = {10.1016/j.tcs.2012.10.001},
    url = {https://doi.org/10.1016%2Fj.tcs.2012.10.001},
    year = {2013},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {467},
    pages = {53--67},
    author = {Markus N. Rabe and Sven Schewe},
    title = {Optimal time-abstract schedulers for {CTMDPs} and continuous-time Markov games},
    journal = {Theoretical Computer Science}
}

@article{Rabe_2013, doi = {10.1016/j.tcs.2012.10.001}, url = {https://doi.org/10.1016%2Fj.tcs.2012.10.001}, year = {2013}, month = {jan}, publisher = {Elsevier {BV}}, volume = {467}, pages = {53--67}, author = {Markus N. Rabe and Sven Schewe}, title = {Optimal time-abstract schedulers for {CTMDPs} and continuous-time Markov games}, journal = {Theoretical Computer Science} }