Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Synthesizing Optimally Resilient Controllers   Recently, Dallal, Neider, and Tabuada studied a generalization of the
classical game-theoretic model used in program synthesis, which additionally
accounts for unmodeled intermittent disturbances. In this extended framework,
one is interested in computing optimally resilient strategies, i.e., strategies
that are resilient against as many disturbances as possible. Dallal, Neider,
and Tabuada showed how to compute such strategies for safety specifications. In
this work, we compute optimally resilient strategies for a much wider range of
winning conditions and show that they do not require more memory than winning
strategies in the classical model. Our algorithms only have a polynomial
overhead in comparison to the ones computing winning strategies. In particular,
for parity conditions, optimally resilient strategies are positional and can be
computed in quasipolynomial time.

36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
14
The categories of this paper are: math-ph
9
The categories of this paper are: nlin
7
The categories of this paper are: hep-th