Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Smart Sampling for Lightweight Verification of Markov Decision Processes   Markov decision processes (MDP) are useful to model optimisation problems in
concurrent systems. To verify MDPs with efficient Monte Carlo techniques
requires that their nondeterminism be resolved by a scheduler. Recent work has
introduced the elements of lightweight techniques to sample directly from
scheduler space, but finding optimal schedulers by simple sampling may be
inefficient. Here we describe "smart" sampling algorithms that can make
substantial improvements in performance.

3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg