Bounding the Quantum Value of Compiled Nonlocal Games: From CHSH to BQP Verification.
Anand NatarajanTina ZhangPublished in: FOCS (2023)
Keyphrases
- video games
- upper bound
- computer games
- game theoretic
- quantum computation
- image restoration
- model checking
- nash equilibrium
- game play
- game playing
- formal verification
- image denoising
- educational games
- formal methods
- face verification
- incomplete information
- weighted majority
- game design
- probability ranking principle
- verification method
- quantum mechanics
- pure nash equilibria
- digital games
- online game
- image segmentation
- serious games
- denoising
- cooperative