Programming and Verifying Subgame-Perfect Mechanisms
From MaRDI portal
Publication:3025339
DOI10.1093/logcom/exi014zbMath1101.68685arXivcs/0211002OpenAlexW1612240551MaRDI QIDQ3025339
Publication date: 13 July 2005
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0211002
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Rationality Authority for Provable Rational Behavior ⋮ Some comments on history based structures ⋮ Abstracting and Verifying Strategy-Proofness for Auction Mechanisms ⋮ Computational complexity of some intelligent computing systems
This page was built for publication: Programming and Verifying Subgame-Perfect Mechanisms
