2 papers
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.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 …