Technical Reports
The report FIMU-RS-2005-07
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
by Javier Esparza, Antonín Kučera, Richard Mayr, A full version of the paper presented at LICS 2005. July 2005, 26 pages.
FIMU-RS-2005-07. Available as Postscript, PDF.
Abstract:
Probabilistic pushdown automata (pPDA) have been identified as a natural model
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.