![](/img/cover-not-exists.png)
Qualitative reachability in stochastic BPA games
Tomáš Brázdil, Václav Brožek, Antonín Kučera, Jan ObdržálekVolume:
209
Year:
2011
Language:
english
Pages:
24
DOI:
10.1016/j.ic.2011.02.002
File:
PDF, 428 KB
english, 2011