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...
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Thesis |
| Γλώσσα: | English |
| Έκδοση: |
2020
|
| Θέματα: |