@article{Rabe_2011,
    doi = {10.1007/s00236-011-0140-0},
    url = {https://doi.org/10.1007%2Fs00236-011-0140-0},
    year = {2011},
    month = {jul},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {48},
    number = {5-6},
    pages = {291--315},
    author = {Markus N. Rabe and Sven Schewe},
    title = {Finite optimal control for time-bounded reachability in {CTMDPs} and continuous-time Markov games},
    journal = {Acta Informatica}
}

@article{Rabe_2011, doi = {10.1007/s00236-011-0140-0}, url = {https://doi.org/10.1007%2Fs00236-011-0140-0}, year = {2011}, month = {jul}, publisher = {Springer Science and Business Media {LLC}}, volume = {48}, number = {5-6}, pages = {291--315}, author = {Markus N. Rabe and Sven Schewe}, title = {Finite optimal control for time-bounded reachability in {CTMDPs} and continuous-time Markov games}, journal = {Acta Informatica} }