Abstractions for model-checking game-theoretic properties of auctions

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 3, Issue , 2008, Pages 1573-1576

  Tadjouddine, E M ^a   Guerin, Frank ^a   Vasconcelos, Wamberto ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

Agent societies and Societal issues: trust and reputation; Economic paradigms: Electronic markets and institutions; Game theory (cooperative and non cooperative)

Indexed keywords

ABSTRACTING; AUTONOMOUS AGENTS; GAME THEORY; MULTI AGENT SYSTEMS;

ABSTRACTION METHODS; ELECTRONIC MARKET; IRRELEVANT VARIABLES; NON-COOPERATIVE; OPEN AGENT SYSTEMS; PROPERTY-PRESERVING; SOCIETAL ISSUES; STATE-SPACE EXPLOSION;

MODEL CHECKING;

EID: 84899936273     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In The Fourth Annual ACM SIGPLAN-SIGACT Symposium on POPL, pages 238-252, Los Angeles, California, 1977. ACM Press, New York, NY.
2. R. K. Dash, N. R. Jennings, and D. C. Parkes. Computational-mechanism design: A call to arms. IEEE Intelligent Systems, pages 40-47, Nov. 2003.
3. F. Guerin and E. M. Tadjouddine. Realising common knowledge assumptions in agent auctions. In The IEEE/WIC/ACM Int'l Conf. on Intelligent Agent Technology, pages 579-586, Hong Kong, China, 2006.
4. G. J. Holzmann. The SPIN Model checker: Primer and Reference Manual. Addison, Boston, USA, 2004.
5. C. S. Pasareanu, M. B. Dwyer, and W. Visser. Finding feasible abstract counter-examples. Soft. Tools for Tech. Transfer, 5(l):34-48, 2003.
6. H. Sa'idi. Model checking guided abstraction and analysis. In J. Palsberg, editor, SAS, volume 1824 of LNCS, pages 377-396. Springer, 2000.
7. F. Tip. A Survey of Program Slicing Techniques. Journal of Progr. Lang., 3(3): 121-189, Sept. 1995.