Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits

Documenti analoghi

• Equivalence Checking of Parameterised Quantum Circuits
  di: Hong, Xin, et al.
  Pubblicazione: (2024)
• Control Flow Adaption: An Efficient Simulation Method For Noisy Quantum Networks
  di: Lin, Huiping, et al.
  Pubblicazione: (2024)
• Partial Equivalence Checking of Quantum Circuits
  di: Chen, Tian-Fu, et al.
  Pubblicazione: (2022)
• Verifying Adversarial Robustness in Quantum Machine Learning: from theory to physical validation via a software tool
  di: Guan, Ji, et al.
  Pubblicazione: (2026)
• Equivalence Checking of Quantum Circuits by Model Counting
  di: Mei, Jingyi, et al.
  Pubblicazione: (2024)