Technical Reports
A List by Author: Jan Obdržálek
- e-mail:
- obdrzalek(a)fi.muni.cz
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.