Reasoning about equilibria in game-like concurrent systems
In this paper we study techniques for reasoning about game-like concurrent systems, where the components of the system act rationally and strategically in pursuit of logically-specified goals. Specifically, we start by presenting a computational model for such concurrent systems, and investigate its...
| Hlavní autoři: | , , |
|---|---|
| Médium: | Journal article |
| Vydáno: |
Elsevier
2016
|