Buchumschlag

Appendix for CAV paper Formal Verification of Quantum Ancilla Safety

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Li, Jiqi
Format:	Recurso digital
Veröffentlicht:	Zenodo 2026
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Heisenberg-Limited Quantum Metrology without Ancillae
von: Liu, Qiushi, et al.
Veröffentlicht: (2024)

Ancilla-free Quantum Adder with Sublinear Depth
von: Remaud, Maxime, et al.
Veröffentlicht: (2025)

Ancilla Iuris
Veröffentlicht: (2007)

Formal Verification of Variational Quantum Circuits
von: Assolini, Nicola, et al.
Veröffentlicht: (2025)

Quantum Prometheus: Defying Overhead with Recycled Ancillas in Quantum Error Correction
von: Chatterjee, Avimita, et al.
Veröffentlicht: (2024)

Efficient Formal Verification of Quantum Error Correcting Programs
von: Huang, Qifan, et al.
Veröffentlicht: (2025)

Safe and Efficient CAV Lane Changing using Decentralised Safety Shields
von: Hegde, Bharathkumar, et al.
Veröffentlicht: (2025)

Ancilla Assisted Quantum Process Tomography using Bound entangled states
von: Singh, Gurvir
Veröffentlicht: (2026)

Analyzing Quantum Circuit Depth Reduction with Ancilla Qubits in MCX Gates
von: Bennakhi, Ahmad, et al.
Veröffentlicht: (2024)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

Decoherence through Ancilla Anyon Reservoirs
von: Myerson-Jain, Nayan, et al.
Veröffentlicht: (2023)

Asymptotically Optimal Depth Fermionic Permutation on 2D Grid Quantum Architecture without Ancillas
von: Li, Dantong, et al.
Veröffentlicht: (2026)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
von: Lewis, Marco, et al.
Veröffentlicht: (2021)

Formal Verification of Noisy Quantum Reinforcement Learning Policies
von: Gross, Dennis
Veröffentlicht: (2025)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
von: Zhang, Shuhang, et al.
Veröffentlicht: (2025)

Boundary Regularity for Fully Nonlinear Parabolic equations on $C^{1,\mathrm{Dini}}$ Domains
von: Dong, Jiqi, et al.
Veröffentlicht: (2025)

VyZX: Formal Verification of a Graphical Quantum Language
von: Lehmann, Adrian, et al.
Veröffentlicht: (2023)

Estimation of Nonlinear Physical Quantities By Measuring Ancillas
von: Nghiem, Nhat A., et al.
Veröffentlicht: (2025)

Methods for Reducing Ancilla-Overhead in Block Encodings
von: Vasconcelos, Francisca, et al.
Veröffentlicht: (2025)

Efficient Fault-Tolerant Ancilla Preparation for Quantum BCH codes via Cyclic Symmetry
von: Yamamoto, Kohei, et al.
Veröffentlicht: (2026)

Ancilla measurement-based Quantum Otto engine using double-pair spin architecture
von: Rathnakaran, S R, et al.
Veröffentlicht: (2025)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
von: Sayed, Abdelrahman Sayed, et al.
Veröffentlicht: (2025)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
von: Nath, Devesh, et al.
Veröffentlicht: (2025)

CAV-AD: A Robust Framework for Detection of Anomalous Data and Malicious Sensors in CAV Networks
von: Rahman, Md Sazedur, et al.
Veröffentlicht: (2024)

A Collaborative Safety Shield for Safe and Efficient CAV Lane Changes in Congested On-Ramp Merging
von: Hegde, Bharathkumar, et al.
Veröffentlicht: (2026)

Formal Modeling and Verification of Grover's Algorithm
von: Sun, H., et al.
Veröffentlicht: (2026)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

Formal Verification of Diffusion Auctions
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Formal Verification in Automated Manufacturing
von: Tang, Yiheng
Veröffentlicht: (2025)

Formal Verification of Minimax Algorithms
von: Wesselink, Wieger, et al.
Veröffentlicht: (2025)

Formal Verification of the Safegcd Implementation
von: O'Connor, Russell, et al.
Veröffentlicht: (2025)

Formal Verification of Permission Voucher
von: Reaz, Khan, et al.
Veröffentlicht: (2024)

Formal Verification of the Sumcheck Protocol
von: Bosshard, Azucena Garvía, et al.
Veröffentlicht: (2024)

Ancilla-Efficient QSAMPLE Preparation for Reversible Markov Chains
von: Zhao, Nicholas
Veröffentlicht: (2026)

Ancilla-Error-Transparent Controlled Beam Splitter Gate
von: Pietikäinen, Iivari, et al.
Veröffentlicht: (2021)

On the Computational Power of QAC0 with Barely Superlinear Ancillae
von: Anshu, Anurag, et al.
Veröffentlicht: (2024)

On the Constrained CAV Platoon Control Problem
von: Bahavarnia, MirSaleh, et al.
Veröffentlicht: (2024)

Dynamic Road Management in the Era of CAV
von: Younis, Mohamed, et al.
Veröffentlicht: (2024)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
von: Mohanty, Hansa, et al.
Veröffentlicht: (2025)

Transformer Neural-Network Quantum States for lattice models of spins and fermions: Application to the Ancilla Layer Model
von: Rende, Riccardo, et al.
Veröffentlicht: (2026)