@article{04leichtle2021verifying,
 author = {Leichtle, Dominik and Music, Luka and Kashefi, Elham and Ollivier, Harold},
 journal = {PRX Quantum},
 number = {4},
 pages = {040302},
 publisher = {APS},
 title = {Verifying BQP computations on noisy devices with minimal overhead},
 url = {https://doi.org/10.1103/PRXQuantum.2.040302},
 volume = {2},
 year = {2021}
}