Qualitative Reachability in Stochastic BPA Games.

Toms Brzdil, Vclav Brozek, Antonn Kucera, Jan Obdrzlek

Browse the full STACS paper archive.