Abstractions for model-checking game-theoretic properties of auctions

Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos. Abstractions for model-checking game-theoretic properties of auctions. In Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons, editors, 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 3. pages 1613-1616, IFAAMAS, 2008. [doi]

Authors

Emmanuel M. Tadjouddine

This author has not been identified. Look up 'Emmanuel M. Tadjouddine' in Google

Frank Guerin

This author has not been identified. Look up 'Frank Guerin' in Google

Wamberto Weber Vasconcelos

This author has not been identified. Look up 'Wamberto Weber Vasconcelos' in Google