A List by Author: Jan Holeček
Discounted Properties of Probabilistic Pushdown Automata
A full version of the paper presented at LPAR 2008 September 2008, 31 pages.
Available as Postscript,
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.