@inproceedings{855763,
    Author = {de Alfaro, L. and Henzinger, T.A.},
    BookTitle = {Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on},
    File = {Concurrent omega-regular games - Alfaro, Henzinger (0) (0) - a - a - u.pdf},
    ISSN = {1043-6871},
    Keywords = {computational complexity;finite state machines;game theory;probability;Rabin-chain condition;almost-sure-win;bounded-win;concurrent Rabin-chain games;concurrent games;concurrent omega-regular games;current state;exist-win;finite state space;game structure;general duality property;infinite memory;infinite state sequence;limit-win;omega-regular winning conditions;positive-win;probabilities;qualitative modes;randomization;successor state;two-player games;winning condition;winning modes;winning states;winning strategies;Automata;Engineering profession;History;Safety;State-space methods},
    Pages = {141-154},
    Title = {Concurrent omega-regular games},
    Year = {2000},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2000.855763},
    date-added = {2014-02-13 14:06:30 +0000},
    date-modified = {2014-02-13 14:06:30 +0000},
    doi = {10.1109/LICS.2000.855763}
}

@inproceedings{855763, Author = {de Alfaro, L. and Henzinger, T.A.}, BookTitle = {Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on}, File = {Concurrent omega-regular games - Alfaro, Henzinger (0) (0) - a - a - u.pdf}, ISSN = {1043-6871}, Keywords = {computational complexity;finite state machines;game theory;probability;Rabin-chain condition;almost-sure-win;bounded-win;concurrent Rabin-chain games;concurrent games;concurrent omega-regular games;current state;exist-win;finite state space;game structure;general duality property;infinite memory;infinite state sequence;limit-win;omega-regular winning conditions;positive-win;probabilities;qualitative modes;randomization;successor state;two-player games;winning condition;winning modes;winning states;winning strategies;Automata;Engineering profession;History;Safety;State-space methods}, Pages = {141-154}, Title = {Concurrent omega-regular games}, Year = {2000}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2000.855763}, date-added = {2014-02-13 14:06:30 +0000}, date-modified = {2014-02-13 14:06:30 +0000}, doi = {10.1109/LICS.2000.855763} }