TY - RPRT TI - On the Verification and Computation of Strong Nash Equilibrium AU - Nicola Gatti AU - Marco Rocco AU - Tuomas Sandholm PY - 2017 UR - https://arxiv.org/abs/1711.06318 ID - 1711.06318 ER -