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 t...
| मुख्य लेखकों: | , , , |
|---|---|
| स्वरूप: | Journal article |
| प्रकाशित: |
Logical Methods in Computer Science
2019
|
Search Result 1
