Technical Reports
The report FIMU-RS-2009-01
Qualitative Reachability in Stochastic BPA Games
by Václav Brožek, Tomáš Brázdil, Antonín Kučera, Jan Obdržálek, A full version of the paper presented at STACS 2009. May 2009, 37 pages.
FIMU-RS-2009-01. Available as Postscript, PDF.
Abstract:
We consider a class of infinite-state stochastic games generated by stateless pushdown
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.