Proof of Sampling: A Nash Equilibrium-Secured Verification Protocol for Decentralized Systems.

Yue Zhang Shouqiao Wang

Published in: CoRR (2024)

Keyphrases

nash equilibrium
game theory
distributed systems
game theoretic
cooperative
pareto optimal
variational inequalities
multi agent
model checking
formal methods
mixed strategy