Model checking auctions as artifact systems: decidability via finite abstraction

zbMATH Open1366.68163MaRDI QIDQ5282957FDOQ5282957

Authors: Francesco Belardinelli 

Publication date: 18 July 2017

Full work available at URL: http://ebooks.iospress.nl/volumearticle/36920

Recommendations

• Verification of agent-based artifact systems
• Abstraction-based verification of infinite-state reactive modules
• Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
• Verifying Dominant Strategy Equilibria in Auctions
• Decidability of model checking multi-agent systems against a class of EHS specifications

Mathematics Subject Classification ID

Auctions, bargaining, bidding and selling, and other market models (91B26) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Cited In (5)

• Verifying Dominant Strategy Equilibria in Auctions
• A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
• A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
• Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
• Abstraction-based verification of infinite-state reactive modules

This page was built for publication: Model checking auctions as artifact systems: decidability via finite abstraction

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