Noise-aware Verification and Synthesis of Quantum Programs

Stefanie Muroya, Krishnendu Chatterjee, Thomas A. Henzinger

While most research on quantum programming considers an idealized, noise-free semantics for quantum programs, we reason about quantum programs that are executed on real, noisy hard…