Ranking Function

Algorithmic analysis of termination problems for quantum programs

We introduce the notion of linear ranking super-martingale (LRSM) for quantum programs (with nondeterministic choices, namely angelic …

Yangjia Li, Mingsheng Ying