On the Hardness of Analyzing Quantum Programs Quantitatively.

Martin Avanzini, Georg Moser, Romain Pchoux, Simon Perdrix

Browse the full ESOP paper archive.