Nash equilibrium and bisimulation invariance

DOI10.4230/LIPICS.CONCUR.2017.17MaRDI QIDQ5111630zbMATHFDO

Authors Julian Gutiérrez, Paul Harrenstein, Giuseppe Perelli, M. J. Wooldridge

Publication date 27 May 2020

zbMATH Keywords

Nash equilibriummultiagent systemsstrategy logicbisumulation

Mathematics Subject Classification ID

Noncooperative games (91A10) Agent technology and artificial intelligence (68T42) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 7136658
• Reasoning about equilibria in game-like concurrent systems
• Nash equilibria in concurrent games with Büchi objectives
• Equilibria of concurrent games on event structures
• Strategy logic

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1903343 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• A course in game theory.
• Algebraic laws for nondeterminism and concurrency
• Alternating-time temporal logic
• Coordination logic
• Expressiveness and complexity results for strategic reasoning
• Extensive games as process models
• Game logic -- an overview
• Game theory. Translated from the Hebrew by Ziv Hellman and edited by Mike Borns
• Iterated Boolean games
• Nash equilibria in concurrent games with Büchi objectives
• Reasoning about equilibria in game-like concurrent systems
• Reasoning about strategies
• Reasoning about strategies: on the model-checking problem
• Reasoning about strategies: on the satisfiability problem
• Repairing multi-player games
• Strategy logic
• Temporal logics in computer science. Finite-state systems

Cited in

(7)

• Cooperative concurrent games
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• Equilibria of concurrent games on event structures
• An abstraction-refinement methodology for reasoning about network games
• Verification of multi-agent systems with public actions against strategy logic
• scientific article; zbMATH DE number 7649930 (Why is no real title available?)
• scientific article; zbMATH DE number 7136658 (Why is no real title available?)

This page was built for publication: Nash equilibrium and bisimulation invariance

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