On Stochastic Games with Multiple Objectives
We study two-player stochastic games, where the goal of one player is to satisfy a formula given as a boolean combination of expected total reward objectives and the behaviour of the second player is adversarial. Such games are important for modelling, synthesis and veri cation of open systems with...
| المؤلفون الرئيسيون: | , , , , |
|---|---|
| التنسيق: | Report |
| منشور في: |
DCS
2013
|