Nondeterminism

Verification of Nondeterministic Quantum Programs

Nondeterministic choice is a useful program construct that provides a way to describe the behaviour of a program without specifying the …

Yuan Feng, Yingte Xu