activity
20192025
most citedAn Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains

4 citations · 11 across the 9 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

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…