Language equivalence of probabilistic pushdown automata

Vojtech Forejt, Petr Jancar, Stefan Kiefer, James Worrell. Language equivalence of probabilistic pushdown automata. Inf. Comput., 237:1-11, 2014. [doi]

Abstract

Abstract is missing.