Rationality authority for provable rational behavior

DOI10.1007/978-3-319-24024-4_5MaRDI QIDQ3464466zbMATH OpenOpenAlexFDO

Authors Shlomi Dolev, Panagiota N. Panagopoulou, Mikaël Rabie, Elad M. Schiller, P. G. Spirakis

Publication date 27 January 2016

Published in Algorithms, Probability, Networks, and Games (Search for Journal in Brave)

Full work available at URL https://research.chalmers.se/en/publication/230780

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Noncooperative games (91A10) Rationality and learning in game theory (91A26)

Recommendations

• Rational proofs
• Rationality, Computability, and Nash Equilibrium
• Purely Rational Secret Sharing (Extended Abstract)
• Algorithmic rationality: game theory with costly computation
• Bridging Game Theory and Cryptography: Recent Results and Future Directions

Cites work

• A course in game theory.
• Algorithmic Game Theory
• Algorithmic mechanism design
• Atomic Congestion Games Among Coalitions
• Complexity of Verifying Game Equilibria
• Equilibrium points in n -person games
• Game authority for robust and scalable distributed selfish-computer systems
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• On the Structure of Equilibria in Basic Network Formation
• Programming and Verifying Subgame-Perfect Mechanisms
• Prospect Theory: An Analysis of Decision under Risk
• Quasi-proportional mechanisms: prior-free revenue maximization
• Regret in the on-line decision problem
• Robust and scalable middleware for selfish-computer systems
• Subjectivity and correlation in randomized strategies
• The knowledge complexity of interactive proof-systems
• Verifiably truthful mechanisms
• Verifying Dominant Strategy Equilibria in Auctions

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Rationality authority for provable rational behavior

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