Reference:

Tomas Brazdil, Jan Krcal, Jan Kretinsky, Antonin Kucera, and Vojtech Rehak. Stochastic real-time games with qualitative timed automata objectives. Technical report FIMU-RS-2010-05, Faculty of Informatics, Masaryk University, Brno, 2010.

Suggested BibTeX entry:

@techreport{DBLP:confconcurBrazdilKKKR10-techrep,
    author = {Tomas Brazdil and Jan Krcal and Jan Kretinsky and Antonin Kucera and Vojtech Rehak},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2010-05},
    title = {Stochastic Real-Time Games with Qualitative Timed Automata Objectives},
    type = {Technical report},
    year = {2010}
}