Paper in Information & Computation

The paper entitled “Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems” by Mingzhang Huang,¬†Hongfei Fu (both from Shanghai Jiao Tong University),¬†Joost-Pieter Katoen has been accepted to the journal Information and Computation. The paper shows that proving probabilistic similarity between a finite probabilistic transition system (specification) and a probabilistic pushdown automaton (implementationI is EXPTIME-complete.