Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Revision of Specification Automata under Quantitative Preferences   We study the problem of revising specifications with preferences for automata
based control synthesis problems. In this class of revision problems, the user
provides a numerical ranking of the desirability of the subgoals in their
specifications. When the specification cannot be satisfied on the system, then
our algorithms automatically revise the specification so that the least
desirable user goals are removed from the specification. We propose two
different versions of the revision problem with preferences. In the first
version, the algorithm returns an exact solution while in the second version
the algorithm is an approximation algorithm with non-constant approximation
ratio. Finally, we demonstrate the scalability of our algorithms and we
experimentally study the approximation ratio of the approximation algorithm on
random problem instances.

6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
26
The categories of this paper are: bayes-an
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg