18 search results - page 1 / 4 » Using Entanglement in Quantum Multi-prover Interactive Proof... |
FOCS
2008
IEEE
13 years 6 months ago
2008
IEEE
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
COCO
2004
Springer
13 years 11 months ago
2004
Springer
This paper investigates the powers and limitations of quantum entanglement in the context of cooperative games of incomplete information. We give several examples of such nonlocal...
COCO
2008
Springer
13 years 7 months ago
2008
Springer
CADE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
COCO
2007
Springer
13 years 11 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...