@inproceedings{5230567,
    Author = {Bertrand, N. and Genest, B. and Gimbert, H.},
    BookTitle = {Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on},
    File = {Qualitative Determinacy and Decidability of Stochastic Games with Signals - Bertrand, Genest, Gimbert (0) (0) - a - a - y.pdf},
    ISSN = {1043-6871},
    Keywords = {common-sense reasoning;reachability analysis;stochastic games;finite memory;fix point algorithms;matching lower bound;qualitative determinacy;reachability objective;stochastic games;winning strategy;Computer science;Control system synthesis;Control systems;Game theory;Logic;Monitoring;Open systems;Safety;Stochastic processes;Stochastic systems;Stochastic games;imperfect information;signals},
    Pages = {319-328},
    Title = {Qualitative Determinacy and Decidability of Stochastic Games with Signals},
    Year = {2009},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2009.31},
    date-added = {2014-01-24 14:40:40 +0000},
    date-modified = {2014-01-24 14:40:40 +0000},
    file-2 = {Qualitative Determinacy and Decidability of Stochastic Games with Signals - Bertrand, Genest, Gimbert (1) (0) - a - a - y.pdf},
    doi = {10.1109/LICS.2009.31}
}

@inproceedings{5230567, Author = {Bertrand, N. and Genest, B. and Gimbert, H.}, BookTitle = {Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on}, File = {Qualitative Determinacy and Decidability of Stochastic Games with Signals - Bertrand, Genest, Gimbert (0) (0) - a - a - y.pdf}, ISSN = {1043-6871}, Keywords = {common-sense reasoning;reachability analysis;stochastic games;finite memory;fix point algorithms;matching lower bound;qualitative determinacy;reachability objective;stochastic games;winning strategy;Computer science;Control system synthesis;Control systems;Game theory;Logic;Monitoring;Open systems;Safety;Stochastic processes;Stochastic systems;Stochastic games;imperfect information;signals}, Pages = {319-328}, Title = {Qualitative Determinacy and Decidability of Stochastic Games with Signals}, Year = {2009}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2009.31}, date-added = {2014-01-24 14:40:40 +0000}, date-modified = {2014-01-24 14:40:40 +0000}, file-2 = {Qualitative Determinacy and Decidability of Stochastic Games with Signals - Bertrand, Genest, Gimbert (1) (0) - a - a - y.pdf}, doi = {10.1109/LICS.2009.31} }