I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Continuous-Time Stochastic Games with Time-Bounded Reachability

Reference:

Tomas Brazdil, Vojtech Forejt, Jan Krcal, Jan Kretinsky, and Antonin Kucera. Continuous-time stochastic games with time-bounded reachability. In FSTTCS, pages 61–72, 2009.

Suggested BibTeX entry:

@inproceedings{DBLP:conffsttcsBrazdilFKKK09,
    author = {Tomas Brazdil and Vojtech Forejt and Jan Krcal and Jan Kretinsky and Antonin Kucera},
    booktitle = {FSTTCS},
    pages = {61-72},
    title = {Continuous-Time Stochastic Games with Time-Bounded Reachability},
    year = {2009}
}

This work is not available online here.