Noise-aware Verification and Synthesis of Quantum Programs

Stefanie Muroya, Krishnendu Chatterjee, Thomas A. Henzinger

This work provides a comprehensive framework for noise-aware quantum program analysis, ranging from logical foundations to model checking and automated synthesis. While most resear…