Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
We consider turn-based stochastic games whose winning conditions are conjunctions of satisfaction objectives for long-run average rewards, and address the problem of finding a strategy that almost surely maintains the averages above a given multi-dimensional threshold vector. We show that strategies...
| Main Authors: | , , , |
|---|---|
| Format: | Report |
| Published: |
DCS
2014
|