papers
Publications (3)
quant-ph2024
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
Jianling Fu, Hui Jiang, Ming Xu +2
We consider the two categories of termination problems of quantum programs with nondeterminism: 1) Is an input of a program terminating with probability one under all schedulers? I…
cs.LO2021
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains
Ming Xu, Jianling Fu, Jingyi Mei +1
Fidelity is one of the most widely used quantities in quantum information that measure the distance of quantum states through a noisy channel. In this paper, we introduce a quantum…
cs.LO2023
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs
Hui Jiang, Jianling Fu, Ming Xu +2
Reachability analysis plays a central role in system design and verification. The reachability problem, denoted , asks whether the system will meet the property $Φ…