Reasoning about Equilibria in Game-Like Concurrent Systems.
Julian GutierrezPaul HarrensteinMichael J. WooldridgePublished in: KR (2014)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- formal specification
- petri net
- model checking
- transition systems
- fixed point
- game theoretic
- nash equilibria
- long run
- formal theory
- spatial reasoning
- qualitative reasoning
- nash equilibrium
- game theory
- data sets
- games with incomplete information
- fine grained
- reinforcement learning
- information systems
- neural network