Incentive Engineering for Concurrent Games

DOI10.4204/eptcs.379.28arXiv2307.05076OpenAlexW4383618587MaRDI QIDQ6199620

David C. Hyland, Michael Wooldridge, Julian Gutierrez

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.05076

Mathematics Subject Classification ID

Multistage and repeated games (91A20) Temporal logic (03B44) Principal-agent models (91B43)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Norm-based mechanism design
• Reasoning about equilibria in game-like concurrent systems
• Incentive engineering for Boolean games
• Equilibria for games with combined qualitative and quantitative objectives
• Lexicographic preferences for predictive modeling of human decision making: a new machine learning method with an application in accounting
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• The Complexity of Nash Equilibria in Limit-Average Games
• Alternating-time temporal logic
• Rational Synthesis
• The complexity of propositional linear temporal logics
• Adaptive Incentive Design

This page was built for publication: Incentive Engineering for Concurrent Games