Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Explainable Reactive Synthesis   Reactive synthesis transforms a specification of a reactive system, given in
a temporal logic, into an implementation. The main advantage of synthesis is
that it is automatic. The main disadvantage is that the implementation is
usually very difficult to understand. In this paper, we present a new synthesis
process that explains the synthesized implementation to the user. The process
starts with a simple version of the specification and a corresponding simple
implementation. Then, desired properties are added one by one, and the
corresponding transformations, repairing the implementation, are explained in
terms of counterexample traces. We present SAT-based algorithms for the
synthesis of repairs and explanations. The algorithms are evaluated on a range
of examples including benchmarks taken from the SYNTCOMP competition.

8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
13
The categories of this paper are: quant-ph
9
The categories of this paper are: nlin
2
The categories of this paper are: math
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio