Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision
  Processes   For hybrid Markov decision processes, UPPAAL Stratego can compute strategies
that are safe for a given safety property and (in the limit) optimal for a
given cost function. Unfortunately, these strategies cannot be exported easily
since they are computed as a very long list. In this paper, we demonstrate
methods to learn compact representations of the strategies in the form of
decision trees. These decision trees are much smaller, more understandable, and
can easily be exported as code that can be loaded into embedded systems.
Despite the size compression and actual differences to the original strategy,
we provide guarantees on both safety and optimality of the decision-tree
strategy. On the top, we show how to obtain yet smaller representations, which
are still guaranteed safe, but achieve a desired trade-off between size and
optimality.

31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
14
The categories of this paper are: math-ph