Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Parameterized Synthesis for Fragments of First-Order Logic over Data
  Words   We study the synthesis problem for systems with a parameterized number of
processes. As in the classical case due to Church, the system selects actions
depending on the program run so far, with the aim of fulfilling a given
specification. The difficulty is that, at the same time, the environment
executes actions that the system cannot control. In contrast to the case of
fixed, finite alphabets, here we consider the case of parameterized alphabets.
An alphabet reflects the number of processes that are static but unknown. The
synthesis problem then asks whether there is a finite number of processes for
which the system can satisfy the specification. This variant is already
undecidable for very limited logics. Therefore, we consider a first-order logic
without the order on word positions. We show that even in this restricted case
synthesis is undecidable if both the system and the environment have access to
all processes. On the other hand, we prove that the problem is decidable if the
environment only has access to a bounded number of processes. In that case,
there is even a cutoff meaning that it is enough to examine a bounded number of
process architectures to solve the synthesis problem.

22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
2
The categories of this paper are: math
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
27
The categories of this paper are: comp-gas
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess