TY - RPRT TI - Quantum Expectation Transformers for Cost Analysis AU - Martin Avanzini AU - Georg Moser AU - Romain Péchoux AU - Simon Perdrix AU - Vladimir Zamdzhiev PY - 2022 DO - 10.1145/3531130.3533332 UR - https://arxiv.org/abs/2201.09361 ID - 2201.09361 ER -