Equilibria of concurrent games on event structures

DOI10.1145/2603088.2603145MaRDI QIDQ4635631zbMATH OpenOpenAlexFDO

Authors Julian Gutiérrez, M. J. Wooldridge

Publication date 23 April 2018

Published in Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:519b568c-8fcc-4640-890d-ae1d0ad13f7f

zbMATH Keywords

concurrent gamesevent structuresNash equilibria

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Noncooperative games (91A10) Other game-theoretic models (91A40)

Recommendations

• Games and strategies as event structures
• Nash equilibria in concurrent priced games
• Nash equilibrium and bisimulation invariance
• scientific article; zbMATH DE number 7136658
• Reasoning about equilibria in game-like concurrent systems

Cited in

(9)

• Node-consistent Shapley value for games played over event trees with random terminal time
• From model checking to equilibrium checking: reactive modules for rational verification
• Partial order games
• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• scientific article; zbMATH DE number 7136658 (Why is no real title available?)
• Nash equilibrium and bisimulation invariance
• Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
• The game semantics of game theory
• Verification of multi-agent systems with public actions against strategy logic

This page was built for publication: Equilibria of concurrent games on event structures

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