Rationality Authority for Provable Rational Behavior
DOI10.1007/978-3-319-24024-4_5zbMath1331.68280OpenAlexW2397120852MaRDI QIDQ3464466
Shlomi Dolev, Mikaël Rabie, Panagiota N. Panagopoulou, Elad M. Schiller, Paul 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
Noncooperative games (91A10) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60) Rationality and learning in game theory (91A26) Distributed systems (68M14)
Uses Software
Cites Work
- Unnamed Item
- Robust and scalable middleware for 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.
- Game authority for robust and scalable distributed selfish-computer systems
- Subjectivity and correlation in randomized strategies
- Regret in the on-line decision problem
- On the Structure of Equilibria in Basic Network Formation
- Verifiably Truthful Mechanisms
- Programming and Verifying Subgame-Perfect Mechanisms
- Complexity of Verifying Game Equilibria
- Verifying Dominant Strategy Equilibria in Auctions
- Quasi-Proportional Mechanisms: Prior-Free Revenue Maximization
- Atomic Congestion Games Among Coalitions
- Prospect Theory: An Analysis of Decision under Risk
- The knowledge complexity of interactive proof-systems
- Algorithmic Game Theory
- Equilibrium points in n -person games
- Algorithmic mechanism design
This page was built for publication: Rationality Authority for Provable Rational Behavior