Yuan Feng 0001 Nengkun Yu Mingsheng Ying Reachability Analysis of Recursive Quantum Markov Chains. 385-396 2013 MFCS https://doi.org/10.1007/978-3-642-40313-2_35 conf/mfcs/2013 db/conf/mfcs/mfcs2013.html#FengYY13