Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Synthesizing Robust Systems with RATSY   Specifications for reactive systems often consist of environment assumptions
and system guarantees. An implementation should not only be correct, but also
robust in the sense that it behaves reasonably even when the assumptions are
(temporarily) violated. We present an extension of the requirements analysis
and synthesis tool RATSY that is able to synthesize robust systems from GR(1)
specifications, i.e., system in which a finite number of safety assumption
violations is guaranteed to induce only a finite number of safety guarantee
violations. We show how the specification can be turned into a two-pair Streett
game, and how a winning strategy corresponding to a correct and robust
implementation can be computed. Finally, we provide some experimental results.

17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
9
The categories of this paper are: nlin
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th