Reference:

Tomas Brazdil, Vojtech Forejt, Jan Krcal, Jan Kretinsky, and Antonin Kucera. Continuous-time stochastic games with time-bounded reachability. Technical report FIMU-RS-2009-09, Faculty of Informatics, Masaryk University, Brno, 2009.

Suggested BibTeX entry:

@techreport{DBLP:conffsttcsBrazdilFKKK09-techrep,
    author = {Tomas Brazdil and Vojtech Forejt and Jan Krcal and Jan Kretinsky and Antonin Kucera},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2009-09},
    title = {Continuous-Time Stochastic Games with Time-Bounded Reachability},
    type = {Technical report},
    year = {2009}
}