Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
<p>Concepts originating from game theory have been employed to formulate and analyse problems from a variety of domains, with applications ranging from economics to biology. In computer science, where they also found a fertile soil, game-theoretic ideas and solutions have been used in AI, netw...
| Glavni autor: | |
|---|---|
| Daljnji autori: | |
| Format: | Disertacija |
| Jezik: | English |
| Izdano: |
2020
|
| Teme: |