TY  - RPRT
TI  - Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
AU  - Christina Gehnen
AU  - Dominique Unruh
AU  - Joost-Pieter Katoen
PY  - 2026
UR  - https://arxiv.org/abs/2607.12532
ID  - 2607.12532
ER  -