@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}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A