Nicola Gatti, Marco Rocco, Tuomas Sandholm. On the verification and computation of strong nash equilibrium. In Maria L. Gini, Onn Shehory, Takayuki Ito, Catholijn M. Jonker, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013. pages 723-730, IFAAMAS, 2013. [doi]
Abstract is missing.