Reasoning about equilibria in game-like concurrent systems.
Julian GutierrezPaul HarrensteinMichael J. WooldridgePublished in: Ann. Pure Appl. Log. (2017)
Keyphrases
- concurrent systems
- temporal logic
- process algebra
- distributed systems
- transition systems
- formal specification
- model checking
- fixed point
- petri net
- game theoretic
- nash equilibria
- long run
- qualitative reasoning
- formal theory
- spatial reasoning
- nash equilibrium
- pure strategy
- neural network
- causal reasoning
- fine grained
- cooperative
- data sets
- games with incomplete information