Technical Reports
The report FIMU-RS-2008-08
Discounted Properties of Probabilistic Pushdown Automata
by Tomáš Brázdil, Václav Brožek, Jan Holeček, Antonín Kučera, A full version of the paper presented at LPAR 2008 September 2008, 31 pages.
FIMU-RS-2008-08. Available as Postscript, PDF.
Abstract:
We show that several basic discounted properties of probabilistic
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.