Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in
  Quantitative Games   We extend the quantitative synthesis framework by going beyond the
worst-case. On the one hand, classical analysis of two-player games involves an
adversary (modeling the environment of the system) which is purely antagonistic
and asks for strict guarantees. On the other hand, stochastic models like
Markov decision processes represent situations where the system is faced to a
purely randomized environment: the aim is then to optimize the expected payoff,
with no guarantee on individual outcomes. We introduce the beyond worst-case
synthesis problem, which is to construct strategies that guarantee some
quantitative requirement in the worst-case while providing an higher expected
value against a particular stochastic model of the environment given as input.
This problem is relevant to produce system controllers that provide nice
expected performance in the everyday situation while ensuring a strict (but
relaxed) performance threshold even in the event of very bad (while unlikely)
circumstances. We study the beyond worst-case synthesis problem for two
important quantitative settings: the mean-payoff and the shortest path. In both
cases, we show how to decide the existence of finite-memory strategies
satisfying the problem and how to synthesize one if one exists. We establish
algorithms and we study complexity bounds and memory requirements.

28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
32
The categories of this paper are: atom-ph
18
The categories of this paper are: econ