Nicola Gatti, Fabio Panozzo. New results on the verification of Nash refinements for extensive-form games. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, editors, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). pages 813-820, IFAAMAS, 2012. [doi]
Abstract is missing.