Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Compositionality for Quantitative Specifications   We provide a framework for compositional and iterative design and
verification of systems with quantitative information, such as rewards, time or
energy. It is based on disjunctive modal transition systems where we allow
actions to bear various types of quantitative information. Throughout the
design process the actions can be further refined and the information made more
precise. We show how to compute the results of standard operations on the
systems, including the quotient (residual), which has not been previously
considered for quantitative non-deterministic systems. Our quantitative
framework has close connections to the modal nu-calculus and is compositional
with respect to general notions of distances between systems and the standard
operations.

16
The categories of this paper are: stat
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics