most citedTechnical Report: Toward Applying Quantum Computing to Network Verification

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

quant-ph2024★ 1 cited

Technical Report: Toward Applying Quantum Computing to Network Verification

Kahlil Dozier, Justin Beltran, Kylie Berg +4

Network verification (NWV), broadly defined as the verification of properties of distributed protocols used in network systems, cannot be efficiently solved on classical hardware v…