Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Generalised Rabin(1) synthesis   We present a novel method for the synthesis of finite state systems that is a
generalisation of the generalised reactivity(1) synthesis approach by Piterman,
Pnueli and Sa'ar. In particular, we describe an efficient method to synthesize
systems from linear-time temporal logic specifications for which all
assumptions and guarantees have a Rabin index of one. We show how to build a
parity game with at most five colours that captures all solutions to the
synthesis problem from such a specification. This parity game has a structure
that is amenable to symbolic implementations. We furthermore show that the
results obtained are in some sense tight, i.e., that there does not exist a
similar synthesis method for assumptions and specifications of higher Rabin
index, unless P=NP.

16
The categories of this paper are: stat
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th