Reference:

Tomas Brazdil, Vojtech Forejt, Jan Krcal, Jan Kretinsky, and Antonin Kucera. Continuous-time stochastic games with time-bounded reachability. Inf. Comput., 224:46–70, 2013.

Suggested BibTeX entry:

@article{DBLP:journalsiandcBrazdilFKKK13,
    author = {Tom{a}s Br{a}zdil and Vojtech Forejt and Jan Krc{a}l and Jan Kretinsky and Anton{i}n Kucera},
    journal = {Inf. Comput.},
    pages = {46-70},
    title = {Continuous-time stochastic games with time-bounded reachability},
    volume = {224},
    year = {2013}
}