82 citations · 303 across the 17 of their papers we have counts for
1 paper · 2 filters
Junyi Liu, Li Zhou, Gilles Barthe +1
We study expected runtimes for quantum programs. Inspired by recent work on probabilistic programs, we first define expected runtime as a generalisation of quantum weakest precondi…