Discounted Properties of Probabilistic Pushdown Automata.

Toms Brzdil, Vclav Brozek, Jan Holecek, Antonn Kucera

Browse the full LPAR paper archive.