Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Continuous-Time Markov Decisions based on Partial Exploration   We provide a framework for speeding up algorithms for time-bounded
reachability analysis of continuous-time Markov decision processes. The
principle is to find a small, but almost equivalent subsystem of the original
system and only analyse the subsystem. Candidates for the subsystem are
identified through simulations and iteratively enlarged until runs are
represented in the subsystem with high enough probability. The framework is
thus dual to that of abstraction refinement. We instantiate the framework in
several ways with several traditional algorithms and experimentally confirm
orders-of-magnitude speed ups in many cases.

23
The categories of this paper are: solv-int
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga