Nash equilibrium and bisimulation invariance
From MaRDI portal
Publication:5111630
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
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?)
- Title not available (Why is that?)
- Game Theory
- Reasoning about strategies
- Reasoning About Strategies
- 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
- Title not available (Why is that?)
- Temporal logics in computer science. Finite-state systems
- Title not available (Why is that?)
- Nash equilibria in concurrent games with Büchi objectives
- Title not available (Why is that?)
Cited In (6)
- 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
- 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)
