Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Porous Invariants   We introduce the notion of porous invariants for multipath (or
branching/nondeterministic) affine loops over the integers; these invariants
are not necessarily convex, and can in fact contain infinitely many 'holes'.
Nevertheless, we show that in many cases such invariants can be automatically
synthesised, and moreover can be used to settle (non-)reachability questions
for various interesting classes of affine loops and target sets.

18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin