Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Performance Heuristics for GR(1) Synthesis and Related Algorithms   Reactive synthesis for the GR(1) fragment of LTL has been implemented and
studied in many works. In this workshop paper we present and evaluate a list of
heuristics to potentially reduce running times for GR(1) synthesis and related
algorithms. The list includes early detection of fixed-points and
unrealizability, fixed-point recycling, and heuristics for unrealizable core
computations. We evaluate the presented heuristics on SYNTECH15, a total of 78
specifications of 6 autonomous Lego robots, written by 3rd year undergraduate
computer science students in a project class we have taught, as well as on
several benchmarks from the literature. The evaluation investigates not only
the potential of the suggested heuristics to improve computation times, but
also the difference between existing benchmarks and the robot's specifications
in terms of the effectiveness of the heuristics.

31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex