Nash equilibrium and bisimulation invariance

DOI10.4230/LIPICS.CONCUR.2017.17zbMATH Open1442.68143MaRDI QIDQ5111630FDOQ5111630

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

Publication date: 27 May 2020

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

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)

Cites Work

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

Cited In (7)

• Title not available (Why is that?)
• An abstraction-refinement methodology for reasoning about network games
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• Cooperative concurrent games
• Equilibria of concurrent games on event structures
• Verification of multi-agent systems with public actions against strategy logic
• Title not available (Why is that?)

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)