Nash Equilibrium and Bisimulation Invariance


Game theory provides a well-established framework for the analysis of concurrent and multi-agent systems. The basic idea is that concurrent processes (agents) can be understood as corresponding to players in a game; plays represent the possible computation runs of the system; and strategies define the behaviour of agents. Typically, strategies are modelled… (More)
DOI: 10.4230/LIPIcs.CONCUR.2017.17


2 Figures and Tables