Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
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. 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}
}

This work is not available online here.