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…