Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The complexity of approximations for epistemic synthesis (extended
  abstract)   Epistemic protocol specifications allow programs, for settings in which
multiple agents act with incomplete information, to be described in terms of
how actions are related to what the agents know. They are a variant of the
knowledge-based programs of Fagin et al [Distributed Computing, 1997],
motivated by the complexity of synthesizing implementations in that framework.
The paper proposes an approach to the synthesis of implementations of epistemic
protocol specifications, that reduces the problem of finding an implementation
to a sequence of model checking problems in approximations of the ultimate
system being synthesized. A number of ways to construct such approximations is
considered, and these are studied for the complexity of the associated model
checking problems. The outcome of the study is the identification of the best
approximations with the property of being PTIME implementable.

26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th