Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Safety Synthesis Sans Specification   We define the problem of learning a transducer ${S}$ from a target language
$U$ containing possibly conflicting transducers, using membership queries and
conjecture queries. The requirement is that the language of ${S}$ be a subset
of $U$. We argue that this is a natural question in many situations in hardware
and software verification. We devise a learning algorithm for this problem and
show that its time and query complexity is polynomial with respect to the rank
of the target language, its incompatibility measure, and the maximal length of
a given counterexample. We report on experiments conducted with a prototype
implementation.

6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
2
The categories of this paper are: math
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph