Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: New Optimizations and Heuristics for Determinization of B\"uchi Automata   In this work, we present multiple new optimizations and heuristics for the
determinization of B\"uchi automata that exploit a number of semantic and
structural properties, most of which may be applied together with any
determinization procedure. We built a prototype implementation where all the
presented heuristics can be freely combined and evaluated them, comparing our
implementation with the state-of-the-art tool spot on multiple data sets with
different characteristics. Our results show that the proposed optimizations and
heuristics can in some cases significantly decrease the size of the resulting
deterministic automaton.

33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
31
The categories of this paper are: ao-sci
23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
16
The categories of this paper are: stat