Emmanuel M. Tadjouddine. Complexity of Verifying Game Equilibria. In Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga, editors, Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings. Volume 4696 of Lecture Notes in Computer Science, pages 103-112, Springer, 2007.
Abstract is missing.