Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Efficient Symmetry Reduction and the Use of State Symmetries for
  Symbolic Model Checking   One technique to reduce the state-space explosion problem in temporal logic
model checking is symmetry reduction. The combination of symmetry reduction and
symbolic model checking by using BDDs suffered a long time from the
prohibitively large BDD for the orbit relation. Dynamic symmetry reduction
calculates representatives of equivalence classes of states dynamically and
thus avoids the construction of the orbit relation. In this paper, we present a
new efficient model checking algorithm based on dynamic symmetry reduction. Our
experiments show that the algorithm is very fast and allows the verification of
larger systems. We additionally implemented the use of state symmetries for
symbolic symmetry reduction. To our knowledge we are the first who investigated
state symmetries in combination with BDD based symbolic model checking.

11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph