Model checking auctions as artifact systems: decidability via finite abstraction

MaRDI QIDQ5282957zbMATH OpenFDO

Authors Francesco Belardinelli

Publication date 18 July 2017

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

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)

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

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)