Emmanuel M. Tadjouddine, Frank Guerin. Verifying Dominant Strategy Equilibria in Auctions. 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 288-297, Springer, 2007.
Abstract is missing.