Model checking QCTL plus on quantum Markov chains. - Ming Xu 010; Jianling Fu; Jingyi Mei; Yuxin Deng (Theor. Comput. Sci., 2022)

An algebraic method to fidelity-based model checking over quantum Markov chains. - Ming Xu 010; Jianling Fu; Jingyi Mei; Yuxin Deng (Theor. Comput. Sci., 2022)

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. - Hui Jiang 009; Jianling Fu; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (CoRR, 2023)

Quantitative controller synthesis for consumption Markov decision processes. - Jianling Fu; Cheng-Chao Huang; Yong Li 031; Jingyi Mei; Ming Xu 010; Lijun Zhang 001 (Inf. Process. Lett., 2023)

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. - Hui Jiang 009; Jianling Fu; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (HSCC, 2024)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. - Jianling Fu; Hui Jiang 009; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (CoRR, 2024)

Termination and Universal Termination Problems for Nondeterministic Quantum Programs. - Ming Xu 010; Jianling Fu; Hui Jiang 009; Yuxin Deng; Zhi-Bin Li 005 (ACM Trans. Softw. Eng. Methodol., 2024)

A binary integer programming-based method for qubit mapping in sparse architectures. - Hui Jiang; Jianling Fu; Yuxin Deng; Jun Wu (Acta Informatica, 2025)