@article{Brazdil:2011:QRS:2010604.2010903,
    Address = {Duluth, MN, USA},
    Author = {Br\'{a}zdil, Tom\'{a}\v{s} and Broek, V\'{a}clav and Ku\v{c}era, Anton\'{\i}n and Obdr\'{a}lek, Jan},
    File = {Qualitative Reachability in Stochastic BPA Games - Brazdil, Broek, Kucera, Obdralek (2) (0) - a - a - l.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Month = {August},
    Number = {8},
    Pages = {1160--1183},
    Publisher = {Academic Press, Inc.},
    Title = {Qualitative Reachability in Stochastic BPA Games},
    URL = {http://dx.doi.org/10.1016/j.ic.2011.02.002},
    Volume = {209},
    Year = {2011},
    acmid = {2010903},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2011.02.002},
    date-added = {2014-01-24 14:41:43 +0000},
    date-modified = {2014-01-24 14:41:43 +0000},
    file-2 = {Qualitative Reachability in Stochastic BPA Games - Brazdil, Broek, Kucera, Obdralek (0) (0) - a - a - l.pdf},
    file-3 = {Qualitative Reachability in Stochastic BPA Games - Brazdil, Broek, Kucera, Obdralek (1) (0) - a - a - l.pdf},
    issue_date = {August, 2011},
    numpages = {24},
    doi = {10.1016/j.ic.2011.02.002}
}

@article{Brazdil:2011:QRS:2010604.2010903, Address = {Duluth, MN, USA}, Author = {Br\'{a}zdil, Tom\'{a}\v{s} and Broek, V\'{a}clav and Ku\v{c}era, Anton\'{\i}n and Obdr\'{a}lek, Jan}, File = {Qualitative Reachability in Stochastic BPA Games - Brazdil, Broek, Kucera, Obdralek (2) (0) - a - a - l.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Month = {August}, Number = {8}, Pages = {1160--1183}, Publisher = {Academic Press, Inc.}, Title = {Qualitative Reachability in Stochastic BPA Games}, URL = {http://dx.doi.org/10.1016/j.ic.2011.02.002}, Volume = {209}, Year = {2011}, acmid = {2010903}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2011.02.002}, date-added = {2014-01-24 14:41:43 +0000}, date-modified = {2014-01-24 14:41:43 +0000}, file-2 = {Qualitative Reachability in Stochastic BPA Games - Brazdil, Broek, Kucera, Obdralek (0) (0) - a - a - l.pdf}, file-3 = {Qualitative Reachability in Stochastic BPA Games - Brazdil, Broek, Kucera, Obdralek (1) (0) - a - a - l.pdf}, issue_date = {August, 2011}, numpages = {24}, doi = {10.1016/j.ic.2011.02.002} }