Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Complexity of Verifying Regular Properties on Flat Counter
  Systems   Among the approximation methods for the verification of counter systems, one
of them consists in model-checking their flat unfoldings. Unfortunately, the
complexity characterization of model-checking problems for such operational
models is not always well studied except for reachability queries or for Past
LTL. In this paper, we characterize the complexity of model-checking problems
on flat counter systems for the specification languages including first-order
logic, linear mu-calculus, infinite automata, and related formalisms. Our
results span different complexity classes (mainly from PTime to PSpace) and
they apply to languages in which arithmetical constraints on counter values are
systematically allowed. As far as the proof techniques are concerned, we
provide a uniform approach that focuses on the main issues.

27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
28
The categories of this paper are: alg-geom