You are here: Faculty of Informatics » Research and Development » Technical Reports » FIMU-RS-2008-08

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 pushdown automata related both to terminating and non-terminating runs can be efficiently approximated up to an arbitrarily small given precision.

Responsible contact: veda@fi.muni.cz

Please install a newer browser for this site to function properly.

More information