@inproceedings{1691246,
    Author = {Brazdil, T. and Brozek, V. and Forejt, V. and Kucera, A.},
    BookTitle = {Logic in Computer Science, 2006 21st Annual IEEE Symposium on},
    File = {Stochastic games with branching-time winning objectives - Brazdil, Brozek, Forejt, Kucera (2) (0) - a - a - a.pdf},
    ISSN = {1043-6871},
    Keywords = {decidability;stochastic games;temporal logic;PCTL;branching-time logic;branching-time winning objectives;decidability;finite memory;history-dependent winning strategies;stochastic turn-based games;Computer science;History;Informatics;Logic;Mathematics;Probability distribution;Stochastic processes},
    Pages = {349-358},
    Title = {Stochastic games with branching-time winning objectives},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.48},
    date-added = {2014-01-24 14:37:52 +0000},
    date-modified = {2014-01-24 14:37:52 +0000},
    file-2 = {Stochastic games with branching-time winning objectives - Brazdil, Brozek, Forejt, Kucera (1) (0) - a - a - a.pdf},
    file-3 = {Stochastic games with branching-time winning objectives - Brazdil, Brozek, Forejt, Kucera (0) (0) - a - a - a.pdf},
    doi = {10.1109/LICS.2006.48}
}

@inproceedings{1691246, Author = {Brazdil, T. and Brozek, V. and Forejt, V. and Kucera, A.}, BookTitle = {Logic in Computer Science, 2006 21st Annual IEEE Symposium on}, File = {Stochastic games with branching-time winning objectives - Brazdil, Brozek, Forejt, Kucera (2) (0) - a - a - a.pdf}, ISSN = {1043-6871}, Keywords = {decidability;stochastic games;temporal logic;PCTL;branching-time logic;branching-time winning objectives;decidability;finite memory;history-dependent winning strategies;stochastic turn-based games;Computer science;History;Informatics;Logic;Mathematics;Probability distribution;Stochastic processes}, Pages = {349-358}, Title = {Stochastic games with branching-time winning objectives}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2006.48}, date-added = {2014-01-24 14:37:52 +0000}, date-modified = {2014-01-24 14:37:52 +0000}, file-2 = {Stochastic games with branching-time winning objectives - Brazdil, Brozek, Forejt, Kucera (1) (0) - a - a - a.pdf}, file-3 = {Stochastic games with branching-time winning objectives - Brazdil, Brozek, Forejt, Kucera (0) (0) - a - a - a.pdf}, doi = {10.1109/LICS.2006.48} }