Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems.

Kousha Etessami Dominik Wojtczak Mihalis Yannakakis Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. 243-253 2008 QEST http://dx.doi.org/10.1109/QEST.2008.35 conf/qest/2008 db/conf/qest/qest2008.html#EtessamiWY08