TY - RPRT TI - Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations AU - Theodoros Kapourniotis AU - Elham Kashefi AU - Dominik Leichtle AU - Luka Music AU - Harold Ollivier PY - 2024 DO - 10.1088/2058-9565/ad466d UR - https://arxiv.org/abs/2206.00631 ID - 2206.00631 ER -