Verifying Dominant Strategy Equilibria in Auctions

DOI10.1007/978-3-540-75254-7_29MaRDI QIDQ3527275zbMATH OpenOpenAlexFDO

Authors Emmanuel Tadjouddine, Frank Guerin

Publication date 25 September 2008

Published in Multi-Agent Systems and Applications V (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75254-7_29

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Auctions, bargaining, bidding and selling, and other market models (91B26)

Recommendations

• Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
• Model checking auctions as artifact systems: decidability via finite abstraction
• Formal verification of e-auction protocols
• Computer-aided verification for mechanism design
• Complexity of Verifying Game Equilibria

Cited in

(6)

• Dominant strategy mechanisms for contract auctions with risk aversion and moral hazard
• Strictly strategy-proof auctions
• Rationality authority for provable rational behavior
• Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
• Guaranteeing properties for e-commerce systems
• Model checking auctions as artifact systems: decidability via finite abstraction

This page was built for publication: Verifying Dominant Strategy Equilibria in Auctions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3527275)