TY  - RPRT
TI  - Noise-aware Verification and Synthesis of Quantum Programs
AU  - Stefanie Muroya
AU  - Krishnendu Chatterjee
AU  - Thomas A. Henzinger
PY  - 2026
UR  - https://arxiv.org/abs/2608.05807
ID  - 2608.05807
ER  -