Decidability results for multi-objective stochastic games
We study stochastic two-player turn-based games in which the objective of one player is to ensure several infinite-horizon total reward objectives, while the other player attempts to spoil at least one of the objectives. The games have previously been shown not to be determined, and an approximation...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Conference item |
| Έκδοση: |
Springer
2016
|