Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Symbolic Synthesis of Knowledge-based Program Implementations with
  Synchronous Semantics   This paper deals with the automated synthesis of implementations of
knowledge-based programs with respect to two synchronous semantics (clock and
synchronous perfect recall). An approach to the synthesis problem based on the
use of symbolic representations is described. The method has been implemented
as an extension to the model checker MCK. Two applications of the implemented
synthesis system are presented: the muddy children puzzle (where performance is
compared to an explicit state method for a related problem implemented in the
model checker DEMO), and a knowledge-based program for a dynamic leader
election problem in a ring of processes.

28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
7
The categories of this paper are: hep-th
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th